Alan became so big that he is now very round. Fortunately the rather green man is still nice. Charlie is big and red, but he's young and will grow out of it. Gary always goes out of his way to show that he is kind to people. Harry ate some rotten meat and now feels green. Nice young people who are round are also blue. It's said that any person with blue skin, round bones, and big feet is kind. If smeone has a blue and green color, then they are young and probably kind. Nobody who is round and rough and big can keep themselves from being nice. All nice people are young. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Charlie is young.
True
1
proof
[(triple5)]
("Charlie" "is" "young" "+")
triple5
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Alan is young.
True
2
proof
[(((triple2) -> rule5))]
("Alan" "is" "young" "+")
((triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
2
inv-proof
[(((triple2) -> rule5))]
("Alan" "is" "young" "-")
((triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
True
5
proof
[(((triple2 ((triple2) -> rule5) triple1) -> rule1))]
("Alan" "is" "blue" "+")
((triple2 ((triple2) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((triple2 ((triple2) -> rule5) triple1) -> rule1))]
("Alan" "is" "blue" "-")
((triple2 ((triple2) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is kind.
True
8
proof
[(((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple1 triple4) -> rule2) OR ((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple3 ((triple2) -> rule5)) -> rule3))]
("Alan" "is" "kind" "+")
((((triple2 ((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple1 triple4) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not kind.
False
8
inv-proof
[(((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple1 triple4) -> rule2) OR ((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple3 ((triple2) -> rule5)) -> rule3))]
("Alan" "is" "kind" "-")
((((triple2 ((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple1 triple4) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is red.[(triple6)] Charlie is young.[(triple5)] Gary is kind.[(triple8)] Harry is green.[(triple9)] @1: Alan is young.[(((triple2) -> rule5))] @2: Alan is blue.[(((triple2 ((triple2) -> rule5) triple1) -> rule1))] @3: Alan is kind.[(((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple1 triple4) -> rule2) OR ((((triple2 ((triple2) -> rule5) triple1) -> rule1) triple3 ((triple2) -> rule5)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Alan is young.
("Alan" "is" "young" "+")
((triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 ((triple2) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple2 ((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple1 triple4) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan became so big that he is now very round; Fortunately the rather green man is still nice.
Charlie is big and red, but he's young and will grow out of it.
Gary always goes out of his way to show that he is kind to people.
Harry ate some rotten meat and now feels green.
Nice young people who are round are also blue.
It's said that any person with blue skin, round bones, and big feet is kind.
If smeone has a blue and green color, then they are young and probably kind.
Nobody who is round and rough and big can keep themselves from being nice.
All nice people are young.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.