To the touch Alan has rough, cold skin. Eric was known for being kind, a bit big and round and for playing rough when he was young. Fred has a round face and is very nice. Harry was born only a few years ago so he is young. A kind person that is also red and rough is usually also nice. If a kind person is also young and round shaped, they will be colored blue. A person that is nice and young is also going to be a person that is rough. Green and blue, when found in one person, signify someone who is cold. Big, rough people sometimes are also green and when they are they must be cold. Blue people round with fat are red from too much time in the sun. A young person who is both big and blue is also someone who is green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is rough and red and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Fred is round.
True
1
proof
[(triple8)]
("Fred" "is" "round" "+")
triple8
Eric is not young.
False
1
inv-proof
[(triple3)]
("Eric" "is" "young" "-")
triple3
Eric is blue.
True
4
proof
[(((triple6 triple3 triple4) -> rule2))]
("Eric" "is" "blue" "+")
((triple6 triple3 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
4
inv-proof
[(((triple6 triple3 triple4) -> rule2))]
("Eric" "is" "blue" "-")
((triple6 triple3 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
True
6
proof
[(((((triple6 triple3 triple4) -> rule2) triple4) -> rule6))]
("Eric" "is" "red" "+")
((((triple6 triple3 triple4) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not green.
False
7
inv-proof
[(((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7))]
("Eric" "is" "green" "-")
((((triple6 triple3 triple4) -> (rule2 % int2)) triple3 triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
True
10
proof
[(((triple5 triple7 ((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7)) -> rule5) OR ((((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7) ((triple6 triple3 triple4) -> rule2)) -> rule4))]
("Eric" "is" "cold" "+")
((triple5 triple7 ((((triple6 triple3 triple4) -> (rule2 % int3)) triple3 triple7) -> (rule7 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple6 triple3 triple4) -> (rule2 % int3)) triple3 triple7) -> (rule7 % int2)) ((triple6 triple3 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not cold.
False
10
inv-proof
[(((triple5 triple7 ((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7)) -> rule5) OR ((((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7) ((triple6 triple3 triple4) -> rule2)) -> rule4))]
("Eric" "is" "cold" "-")
((triple5 triple7 ((((triple6 triple3 triple4) -> (rule2 % int3)) triple3 triple7) -> (rule7 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple6 triple3 triple4) -> (rule2 % int3)) triple3 triple7) -> (rule7 % int2)) ((triple6 triple3 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Fred" "is" "red" "+")
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "red" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is cold.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple7)] Eric is kind.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Fred is nice.[(triple9)] Fred is round.[(triple8)] Harry is young.[(triple10)] @1: Eric is blue.[(((triple6 triple3 triple4) -> rule2))] @2: Eric is green.[(((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7))] Eric is red.[(((((triple6 triple3 triple4) -> rule2) triple4) -> rule6))] @3: Eric is cold.[(((triple5 triple7 ((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7)) -> rule5) OR ((((((triple6 triple3 triple4) -> rule2) triple3 triple7) -> rule7) ((triple6 triple3 triple4) -> rule2)) -> rule4))] Eric is nice.[(((triple5 ((((triple6 triple3 triple4) -> rule2) triple4) -> rule6) triple6) -> rule1))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple10
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 triple3 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple6 triple3 triple4) -> (rule2 % int2)) triple3 triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple6 triple3 triple4) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple5 triple7 ((((triple6 triple3 triple4) -> (rule2 % int3)) triple3 triple7) -> (rule7 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple6 triple3 triple4) -> (rule2 % int3)) triple3 triple7) -> (rule7 % int2)) ((triple6 triple3 triple4) -> (rule2 % int3))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 ((((triple6 triple3 triple4) -> (rule2 % int3)) triple4) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
To the touch Alan has rough, cold skin.
Eric was known for being kind, a bit big and round and for playing rough when he was young.
Fred has a round face and is very nice.
Harry was born only a few years ago so he is young.
A kind person that is also red and rough is usually also nice.
If a kind person is also young and round shaped, they will be colored blue.
A person that is nice and young is also going to be a person that is rough.
Green and blue, when found in one person, signify someone who is cold.
Big, rough people sometimes are also green and when they are they must be cold.
Blue people round with fat are red from too much time in the sun.
A young person who is both big and blue is also someone who is green.