Even though Charlie is green with envy he is nice with rosy red cheeks. Dave ate some rotten meat and now feels green. Big, red Gary is quite kind. Harry was looking rather round and feeling rather cold, but people thought he is kind. Young and nice people have great big smiles. Most of the people that are big and nice with green eyes, will be round. Red haired people who are nice and kind are looked up to because they are always big. Someone who is nice, green, and cold, is always going to be young. Nice people are cold people.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and green and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Gary is not big.
False
1
inv-proof
[(triple7)]
("Gary" "is" "big" "-")
triple7
Charlie is cold.
True
2
proof
[(((triple2) -> rule5))]
("Charlie" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple2) -> rule5))]
("Charlie" "is" "cold" "-")
((triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
True
5
proof
[(((triple2 triple3 ((triple2) -> rule5)) -> rule4))]
("Charlie" "is" "young" "+")
((triple2 triple3 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not young.
False
5
inv-proof
[(((triple2 triple3 ((triple2) -> rule5)) -> rule4))]
("Charlie" "is" "young" "-")
((triple2 triple3 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
True
7
proof
[(((((triple2 triple3 ((triple2) -> rule5)) -> rule4) triple2) -> rule1))]
("Charlie" "is" "big" "+")
((((triple2 triple3 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not big.
False
7
inv-proof
[(((((triple2 triple3 ((triple2) -> rule5)) -> rule4) triple2) -> rule1))]
("Charlie" "is" "big" "-")
((((triple2 triple3 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
True
10
proof
[(((((((triple2 triple3 ((triple2) -> rule5)) -> rule4) triple2) -> rule1) triple2 triple3) -> rule2))]
("Charlie" "is" "round" "+")
((((((triple2 triple3 ((triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple2) -> (rule1 % int2)) triple2 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not round.
False
10
inv-proof
[(((((((triple2 triple3 ((triple2) -> rule5)) -> rule4) triple2) -> rule1) triple2 triple3) -> rule2))]
("Charlie" "is" "round" "-")
((((((triple2 triple3 ((triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple2) -> (rule1 % int2)) triple2 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is green.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is green.[(triple4)] Gary is big.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] Harry is cold.[(triple10)] Harry is kind.[(triple9)] Harry is round.[(triple8)] @1: Charlie is cold.[(((triple2) -> rule5))] @2: Charlie is young.[(((triple2 triple3 ((triple2) -> rule5)) -> rule4))] @3: Charlie is big.[(((((triple2 triple3 ((triple2) -> rule5)) -> rule4) triple2) -> rule1))] @4: Charlie is round.[(((((((triple2 triple3 ((triple2) -> rule5)) -> rule4) triple2) -> rule1) triple2 triple3) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 triple3 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple2 triple3 ((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple2 triple3 ((triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple2) -> (rule1 % int2)) triple2 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Even though Charlie is green with envy he is nice with rosy red cheeks.
Dave ate some rotten meat and now feels green.
Big, red Gary is quite kind.
Harry was looking rather round and feeling rather cold, but people thought he is kind.
Young and nice people have great big smiles.
Most of the people that are big and nice with green eyes, will be round.
Red haired people who are nice and kind are looked up to because they are always big.
Someone who is nice, green, and cold, is always going to be young.
Nice people are cold people.