Alan is red with anger because he's green with envy, like all young, rough boys. Bob is big and tends to wear red shirts. Fred always goes out of his way to show that he is kind to people. Harry is blue from ink he spilled on himself while being kind and helping some children paint. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Nobody who is round and rough and big can keep themselves from being nice. Whenever you see Pete you run into a young man rough, which means he will be nice. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
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 young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple9)]
("Harry" "is" "blue" "-")
triple9
Alan is nice.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "nice" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "nice" "-")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
True
6
proof
[(((triple2 ((triple1 triple2) -> rule3) triple3) -> rule1))]
("Alan" "is" "blue" "+")
((triple2 ((triple1 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((triple2 ((triple1 triple2) -> rule3) triple3) -> rule1))]
("Alan" "is" "blue" "-")
((triple2 ((triple1 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
True
9
proof
[(((((triple2 ((triple1 triple2) -> rule3) triple3) -> rule1) triple2 triple4) -> rule4))]
("Alan" "is" "cold" "+")
((((triple2 ((triple1 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not cold.
False
9
inv-proof
[(((((triple2 ((triple1 triple2) -> rule3) triple3) -> rule1) triple2 triple4) -> rule4))]
("Alan" "is" "cold" "-")
((((triple2 ((triple1 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is red.[(triple5)] Fred is kind.[(triple7)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] @1: Alan is nice.[(((triple1 triple2) -> rule3))] @2: Alan is blue.[(((triple2 ((triple1 triple2) -> rule3) triple3) -> rule1))] @3: Alan is cold.[(((((triple2 ((triple1 triple2) -> rule3) triple3) -> rule1) triple2 triple4) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 ((triple1 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((triple2 ((triple1 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is red with anger because he's green with envy, like all young, rough boys.
Bob is big and tends to wear red shirts.
Fred always goes out of his way to show that he is kind to people.
Harry is blue from ink he spilled on himself while being kind and helping some children paint.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Nobody who is round and rough and big can keep themselves from being nice.
Whenever you see Pete you run into a young man rough, which means he will be nice.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.