When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. Eric is big and rough. Gary always goes out of his way to show that he is kind to people. One day Harry, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. Young people who rough around in the cold are known to be very red. A young round person who is green is also red. A big, blue person who is kind is also round. There could be a round someone with red hair wearing blue pants. People who are cold even when they're nice and round, they are young. People that are big but also green, may ultimately be very nice. People who are rough are often rather kind as well.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple6)]
("Harry" "is" "round" "-")
triple6
Charlie is kind.
True
2
proof
[(((triple1) -> rule7))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple1) -> rule7))]
("Charlie" "is" "kind" "-")
((triple1) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Harry is red.
True
7
proof
[(((((triple7 triple6 triple9) -> rule5) triple6 triple8) -> rule2))]
("Harry" "is" "red" "+")
((((triple7 triple6 triple9) -> (rule5 % int2)) triple6 triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not red.
False
7
inv-proof
[(((((triple7 triple6 triple9) -> rule5) triple6 triple8) -> rule2))]
("Harry" "is" "red" "-")
((((triple7 triple6 triple9) -> (rule5 % int2)) triple6 triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
True
9
proof
[(((((((triple7 triple6 triple9) -> rule5) triple6 triple8) -> rule2) triple6) -> rule4))]
("Harry" "is" "blue" "+")
((((((triple7 triple6 triple9) -> (rule5 % int3)) triple6 triple8) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not blue.
False
9
inv-proof
[(((((((triple7 triple6 triple9) -> rule5) triple6 triple8) -> rule2) triple6) -> rule4))]
("Harry" "is" "blue" "-")
((((((triple7 triple6 triple9) -> (rule5 % int3)) triple6 triple8) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Eric is big.[(triple4)] Eric is rough.[(triple3)] Gary is kind.[(triple5)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Charlie is kind.[(((triple1) -> rule7))] Eric is kind.[(((triple3) -> rule7))] Harry is young.[(((triple7 triple6 triple9) -> rule5))] @2: Harry is red.[(((((triple7 triple6 triple9) -> rule5) triple6 triple8) -> rule2))] @3: Harry is blue.[(((((((triple7 triple6 triple9) -> rule5) triple6 triple8) -> rule2) triple6) -> rule4))]
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple3) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7 triple6 triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple7 triple6 triple9) -> (rule5 % int2)) triple6 triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((((triple7 triple6 triple9) -> (rule5 % int3)) triple6 triple8) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough.
Eric is big and rough.
Gary always goes out of his way to show that he is kind to people.
One day Harry, a very nice old man with green ears, asked if I was as cold a block of ice; I said no but that I had heard that round people like him are cold blooded.
Young people who rough around in the cold are known to be very red.
A young round person who is green is also red.
A big, blue person who is kind is also round.
There could be a round someone with red hair wearing blue pants.
People who are cold even when they're nice and round, they are young.
People that are big but also green, may ultimately be very nice.
People who are rough are often rather kind as well.