Young Charlie got into a fight that left him with red sores on his face. Eric is a young kid who is a bit rough and on the big side. He can be kind to some and lives a green lifestyle. Gary gets red when he is mad and tends to act very cold. Harry, like all young people, is nice. People with red hair, rough skin and big teeth manage to be nice to people. A nice person who is green is feeling cold. A nice, big person that is red is usually young. You can tell if someone is big, kind, and young, then they are also nice. People who are red, young, and round are also blue. I bet you didn't know that nice, kind, cold people happen to be red. People that are big but also green, may ultimately be very nice.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is big and red and rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Gary is not red.
False
1
inv-proof
[(triple8)]
("Gary" "is" "red" "-")
triple8
Eric is nice.
True
3
proof
[(((triple7 triple6) -> rule7) OR ((triple7 triple5 triple3) -> rule4))]
("Eric" "is" "nice" "+")
((triple7 triple6) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple7 triple5 triple3) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple7 triple6) -> rule7) OR ((triple7 triple5 triple3) -> rule4))]
("Eric" "is" "nice" "-")
((triple7 triple6) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple7 triple5 triple3) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
True
5
proof
[(((triple6 ((triple7 triple6) -> rule7)) -> rule2) OR ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2))]
("Eric" "is" "cold" "+")
((triple6 ((triple7 triple6) -> (rule7 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((triple6 ((triple7 triple5 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not cold.
False
5
inv-proof
[(((triple6 ((triple7 triple6) -> rule7)) -> rule2) OR ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2))]
("Eric" "is" "cold" "-")
((triple6 ((triple7 triple6) -> (rule7 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((triple6 ((triple7 triple5 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
True
10
proof
[(((((triple7 triple6) -> rule7) triple5 ((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule6) OR ((((triple7 triple6) -> rule7) triple5 ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2)) -> rule6) OR ((((triple7 triple5 triple3) -> rule4) triple5 ((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule6) OR ((((triple7 triple5 triple3) -> rule4) triple5 ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2)) -> rule6))]
("Eric" "is" "red" "+")
((((triple7 triple6) -> (rule7 % int3)) triple5 ((triple6 ((triple7 triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple6) -> (rule7 % int3)) triple5 ((triple6 ((triple7 triple5 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple5 triple3) -> (rule4 % int3)) triple5 ((triple6 ((triple7 triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple5 triple3) -> (rule4 % int3)) triple5 ((triple6 ((triple7 triple5 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not red.
False
10
inv-proof
[(((((triple7 triple6) -> rule7) triple5 ((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule6) OR ((((triple7 triple6) -> rule7) triple5 ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2)) -> rule6) OR ((((triple7 triple5 triple3) -> rule4) triple5 ((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule6) OR ((((triple7 triple5 triple3) -> rule4) triple5 ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2)) -> rule6))]
("Eric" "is" "red" "-")
((((triple7 triple6) -> (rule7 % int3)) triple5 ((triple6 ((triple7 triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple6) -> (rule7 % int3)) triple5 ((triple6 ((triple7 triple5 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple5 triple3) -> (rule4 % int3)) triple5 ((triple6 ((triple7 triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple5 triple3) -> (rule4 % int3)) triple5 ((triple6 ((triple7 triple5 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "blue" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Charlie is red.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple7)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3 OR ((((triple7 triple6) -> rule7) ((((triple7 triple6) -> rule7) triple5 ((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule6) triple7) -> rule3))] Gary is cold.[(triple9)] Gary is red.[(triple8)] Harry is nice.[(triple11)] Harry is young.[(triple10)] @1: Eric is nice.[(((triple7 triple6) -> rule7) OR ((triple7 triple5 triple3) -> rule4))] @2: Eric is cold.[(((triple6 ((triple7 triple6) -> rule7)) -> rule2) OR ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2))] @3: Eric is red.[(((((triple7 triple6) -> rule7) triple5 ((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule6) OR ((((triple7 triple6) -> rule7) triple5 ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2)) -> rule6) OR ((((triple7 triple5 triple3) -> rule4) triple5 ((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule6) OR ((((triple7 triple5 triple3) -> rule4) triple5 ((triple6 ((triple7 triple5 triple3) -> rule4)) -> rule2)) -> rule6))]
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
((((triple7 triple6) -> (rule7 % int4)) ((((triple7 triple6) -> (rule7 % int4)) triple5 ((triple6 ((triple7 triple6) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple6) -> (rule7 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple7 triple5 triple3) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 ((triple7 triple6) -> (rule7 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
((triple6 ((triple7 triple5 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple7 triple6) -> (rule7 % int3)) triple5 ((triple6 ((triple7 triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple6) -> (rule7 % int3)) triple5 ((triple6 ((triple7 triple5 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple5 triple3) -> (rule4 % int3)) triple5 ((triple6 ((triple7 triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
((((triple7 triple5 triple3) -> (rule4 % int3)) triple5 ((triple6 ((triple7 triple5 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Young Charlie got into a fight that left him with red sores on his face.
Eric is a young kid who is a bit rough and on the big side; He can be kind to some and lives a green lifestyle.
Gary gets red when he is mad and tends to act very cold.
Harry, like all young people, is nice.
People with red hair, rough skin and big teeth manage to be nice to people.
A nice person who is green is feeling cold.
A nice, big person that is red is usually young.
You can tell if someone is big, kind, and young, then they are also nice.
People who are red, young, and round are also blue.
I bet you didn't know that nice, kind, cold people happen to be red.
People that are big but also green, may ultimately be very nice.