Alan is big and rough. Eric is kind and has rough, round hands that are red. Eric is green with envy when he looks at people who don't have to work. Gary wears all blue. Harry's a round guy, and a red and green guy. Green people with red round cheeks are young. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. You know when you meet a red, blue and kind person, that means they are green. When you meet kind people they wont have a cold heart. A young person who is red a kind is also usually big. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person. A person who is young and cold and green is kind.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Eric is not rough.
False
1
inv-proof
[(triple4)]
("Eric" "is" "rough" "-")
triple4
Eric is cold.
True
2
proof
[(((triple6) -> rule4))]
("Eric" "is" "cold" "+")
((triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
2
inv-proof
[(((triple6) -> rule4))]
("Eric" "is" "cold" "-")
((triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
True
7
proof
[(((triple5 ((triple5 triple7 triple3) -> rule1) triple6) -> rule5))]
("Eric" "is" "big" "+")
((triple5 ((triple5 triple7 triple3) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not blue.
False
7
inv-proof
[(((triple6 triple4 ((triple5 triple7 triple3) -> rule1)) -> rule2))]
("Eric" "is" "blue" "-")
((triple6 triple4 ((triple5 triple7 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
True
16
proof
[(((((triple6 triple4 ((triple5 triple7 triple3) -> rule1)) -> rule2) triple4 ((triple5 ((triple5 triple7 triple3) -> rule1) triple6) -> rule5)) -> rule6))]
("Eric" "is" "nice" "+")
((((triple6 triple4 ((triple5 triple7 triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple4 ((triple5 ((triple5 triple7 triple3) -> (rule1 % int4)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is not nice.
False
16
inv-proof
[(((((triple6 triple4 ((triple5 triple7 triple3) -> rule1)) -> rule2) triple4 ((triple5 ((triple5 triple7 triple3) -> rule1) triple6) -> rule5)) -> rule6))]
("Eric" "is" "nice" "-")
((((triple6 triple4 ((triple5 triple7 triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple4 ((triple5 ((triple5 triple7 triple3) -> (rule1 % int4)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Harry is not big.
Unknown
inv-rconc
[@3: Harry is big.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Alan is kind.
Unknown
rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Alan" "is" "kind" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Gary is blue.[(triple8)] Harry is green.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Eric is cold.[(((triple6) -> rule4))] Eric is young.[(((triple5 triple7 triple3) -> rule1))] Harry is young.[(((triple10 triple11 triple9) -> rule1))] @2: Eric is big.[(((triple5 ((triple5 triple7 triple3) -> rule1) triple6) -> rule5))] Eric is blue.[(((triple6 triple4 ((triple5 triple7 triple3) -> rule1)) -> rule2))] @3: Eric is nice.[(((((triple6 triple4 ((triple5 triple7 triple3) -> rule1)) -> rule2) triple4 ((triple5 ((triple5 triple7 triple3) -> rule1) triple6) -> rule5)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
((triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple5 triple7 triple3) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10 triple11 triple9) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple5 ((triple5 triple7 triple3) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 triple4 ((triple5 triple7 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple6 triple4 ((triple5 triple7 triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple4 ((triple5 ((triple5 triple7 triple3) -> (rule1 % int4)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Alan is big and rough.
Eric is kind and has rough, round hands that are red; Eric is green with envy when he looks at people who don't have to work.
Gary wears all blue.
Harry's a round guy, and a red and green guy.
Green people with red round cheeks are young.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
You know when you meet a red, blue and kind person, that means they are green.
When you meet kind people they wont have a cold heart.
A young person who is red a kind is also usually big.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
A person who is young and cold and green is kind.