In the snow sits Eric, crying from being cold. Fred, a green man, was also big, but underneath he was kind. Upon meeting Gary, you'll notice he's green and kind. They always call him rough Harry. I've noticed that kind people are also big. A person who is nice and green with envy is round. Any human being with green, big, kind eyes, also has round eyes. Don't be surprised to hear that all nice, kind folks are in fact rough. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Round green people usually feel blue. Someone who is young and nice is often round.
Eric is cold.
("Eric" "is" "cold" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Fred is green.
True
1
proof
[(triple3)]
("Fred" "is" "green" "+")
triple3
Fred is not kind.
False
1
inv-proof
[(triple2)]
("Fred" "is" "kind" "-")
triple2
Gary is big.
True
2
proof
[(((triple5) -> rule1))]
("Gary" "is" "big" "+")
((triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Fred is not round.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule3) OR ((triple3 ((triple2) -> rule1) triple2) -> rule3))]
("Fred" "is" "round" "-")
((triple3 triple4 triple2) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((triple3 ((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Gary is round.
True
5
proof
[(((triple6 ((triple5) -> rule1) triple5) -> rule3))]
("Gary" "is" "round" "+")
((triple6 ((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not round.
False
5
inv-proof
[(((triple6 ((triple5) -> rule1) triple5) -> rule3))]
("Gary" "is" "round" "-")
((triple6 ((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
True
7
proof
[(((((triple6 ((triple5) -> rule1) triple5) -> rule3) triple6) -> rule6))]
("Gary" "is" "blue" "+")
((((triple6 ((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not blue.
False
7
inv-proof
[(((((triple6 ((triple5) -> rule1) triple5) -> rule3) triple6) -> rule6))]
("Gary" "is" "blue" "-")
((((triple6 ((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "young" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "young" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Eric is cold.[(triple1)] Fred is big.[(triple4 OR ((triple2) -> rule1))] Fred is green.[(triple3)] Fred is kind.[(triple2)] Gary is green.[(triple6)] Gary is kind.[(triple5)] Harry is rough.[(triple7)] @1: Fred is round.[(((triple3 triple4 triple2) -> rule3) OR ((triple3 ((triple2) -> rule1) triple2) -> rule3))] Gary is big.[(((triple5) -> rule1))] @2: Fred is blue.[(((((triple3 triple4 triple2) -> rule3) triple3) -> rule6) OR ((((triple3 ((triple2) -> rule1) triple2) -> rule3) triple3) -> rule6))] Gary is round.[(((triple6 ((triple5) -> rule1) triple5) -> rule3))] @3: Gary is blue.[(((((triple6 ((triple5) -> rule1) triple5) -> rule3) triple6) -> rule6))]
Eric is cold.
("Eric" "is" "cold" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple4
((triple2) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
((triple3 triple4 triple2) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((triple3 ((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((((triple3 triple4 triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
((((triple3 ((triple2) -> (rule1 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple6 ((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple6 ((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
In the snow sits Eric, crying from being cold.
Fred, a green man, was also big, but underneath he was kind.
Upon meeting Gary, you'll notice he's green and kind.
They always call him rough Harry.
I've noticed that kind people are also big.
A person who is nice and green with envy is round.
Any human being with green, big, kind eyes, also has round eyes.
Don't be surprised to hear that all nice, kind folks are in fact rough.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
Round green people usually feel blue.
Someone who is young and nice is often round.