Even though Eric is big and round, he is cold much of the time. Fred wears all blue. Gary is colored red and green. He is also young, rough and very cold. Harry has a round face and is very nice. A green and blue colored person who is young will certainly be big. Fat, round people who are green with envy and notoriously rough. Any rather round person exposed to weather that leaves them red and cold will feel blue. There could be a round someone with red hair wearing blue pants. Round people are often red before they turn green. Unfortunately, all the young people who are considered green are all round. Someone who is cold and big is also a red person.
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Harry is nice.
True
1
proof
[(triple11)]
("Harry" "is" "nice" "+")
triple11
Gary is not red.
False
1
inv-proof
[(triple7)]
("Gary" "is" "red" "-")
triple7
Gary is round.
True
3
proof
[(((triple8 triple5) -> rule6))]
("Gary" "is" "round" "+")
((triple8 triple5) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple8 triple5) -> rule6))]
("Gary" "is" "round" "-")
((triple8 triple5) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
True
5
proof
[(((triple7 ((triple8 triple5) -> rule6)) -> rule4) OR ((((triple8 triple5) -> rule6) triple7 triple9) -> rule3))]
("Gary" "is" "blue" "+")
((triple7 ((triple8 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple8 triple5) -> (rule6 % int2)) triple7 triple9) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((((triple3 triple2) -> rule7) triple1) -> rule4) OR ((triple1 ((triple3 triple2) -> rule7) triple2) -> rule3))]
("Eric" "is" "blue" "-")
((((triple3 triple2) -> (rule7 % int2)) triple1) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((triple1 ((triple3 triple2) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Gary is big.
True
8
proof
[(((triple8 triple5 ((triple7 ((triple8 triple5) -> rule6)) -> rule4)) -> rule1) OR ((triple8 triple5 ((((triple8 triple5) -> rule6) triple7 triple9) -> rule3)) -> rule1))]
("Gary" "is" "big" "+")
((triple8 triple5 ((triple7 ((triple8 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple8 triple5 ((((triple8 triple5) -> (rule6 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not big.
False
8
inv-proof
[(((triple8 triple5 ((triple7 ((triple8 triple5) -> rule6)) -> rule4)) -> rule1) OR ((triple8 triple5 ((((triple8 triple5) -> rule6) triple7 triple9) -> rule3)) -> rule1))]
("Gary" "is" "big" "-")
((triple8 triple5 ((triple7 ((triple8 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple8 triple5 ((((triple8 triple5) -> (rule6 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "red" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Eric is big.[(triple3)] Eric is cold.[(triple2)] Eric is round.[(triple1)] Fred is blue.[(triple4)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6 OR ((triple8 ((triple8 triple5) -> rule6)) -> rule2))] Gary is young.[(triple5)] Harry is nice.[(triple11)] Harry is round.[(triple10)] @1: Eric is red.[(((triple3 triple2) -> rule7))] Gary is round.[(((triple8 triple5) -> rule6))] @2: Eric is blue.[(((((triple3 triple2) -> rule7) triple1) -> rule4) OR ((triple1 ((triple3 triple2) -> rule7) triple2) -> rule3))] Eric is green.[(((triple1 ((triple3 triple2) -> rule7)) -> rule5))] Gary is blue.[(((triple7 ((triple8 triple5) -> rule6)) -> rule4) OR ((((triple8 triple5) -> rule6) triple7 triple9) -> rule3))] @3: Eric is rough.[(((((triple1 ((triple3 triple2) -> rule7)) -> rule5) triple1) -> rule2))] Gary is big.[(((triple8 triple5 ((triple7 ((triple8 triple5) -> rule6)) -> rule4)) -> rule1) OR ((triple8 triple5 ((((triple8 triple5) -> rule6) triple7 triple9) -> rule3)) -> rule1))]
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
((triple8 ((triple8 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
((triple3 triple2) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple8 triple5) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple3 triple2) -> (rule7 % int2)) triple1) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((triple1 ((triple3 triple2) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple1 ((triple3 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 ((triple8 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple8 triple5) -> (rule6 % int2)) triple7 triple9) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple1 ((triple3 triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((triple8 triple5 ((triple7 ((triple8 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple8 triple5 ((((triple8 triple5) -> (rule6 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Even though Eric is big and round, he is cold much of the time.
Fred wears all blue.
Gary is colored red and green; He is also young, rough and very cold.
Harry has a round face and is very nice.
A green and blue colored person who is young will certainly be big.
Fat, round people who are green with envy and notoriously rough.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
There could be a round someone with red hair wearing blue pants.
Round people are often red before they turn green.
Unfortunately, all the young people who are considered green are all round.
Someone who is cold and big is also a red person.