Big, round Bob is cold and very green. Fred is round, dresses in red, but is blue with cold. Although Harry is young and nice, he is as cold as ice. A nice person with rough skin is red. People that are big and cold are blue as well. If you are green you are also kind. A red, round male or female will also be a nice male or female. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. Blue, kind, and cold people are habitually rough. John is round and rough, meaning that he is someone that is seen as green.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Fred is round.
True
1
proof
[(triple5)]
("Fred" "is" "round" "+")
triple5
Fred is not cold.
False
1
inv-proof
[(triple7)]
("Fred" "is" "cold" "-")
triple7
Bob is blue.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Bob" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "kind" "-")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
True
7
proof
[(((((triple4 triple3) -> rule2) ((triple2) -> rule3) triple3) -> rule6))]
("Bob" "is" "rough" "+")
((((triple4 triple3) -> (rule2 % int3)) ((triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not rough.
False
7
inv-proof
[(((((triple4 triple3) -> rule2) ((triple2) -> rule3) triple3) -> rule6))]
("Bob" "is" "rough" "-")
((((triple4 triple3) -> (rule2 % int3)) ((triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
True
7
proof
[(((((((triple2) -> rule3) triple2 triple1) -> rule5) triple1) -> rule4))]
("Bob" "is" "nice" "+")
((((((triple2) -> (rule3 % int3)) triple2 triple1) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((((((triple2) -> rule3) triple2 triple1) -> rule5) triple1) -> rule4))]
("Bob" "is" "nice" "-")
((((((triple2) -> (rule3 % int3)) triple2 triple1) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is round.[(triple1)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is red.[(triple6)] Fred is round.[(triple5)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Bob is blue.[(((triple4 triple3) -> rule2))] Bob is kind.[(((triple2) -> rule3))] Fred is nice.[(((triple6 triple5) -> rule4))] @2: Bob is red.[(((((triple2) -> rule3) triple2 triple1) -> rule5))] Bob is rough.[(((((triple4 triple3) -> rule2) ((triple2) -> rule3) triple3) -> rule6))] @3: Bob is nice.[(((((((triple2) -> rule3) triple2 triple1) -> rule5) triple1) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is blue.
("Bob" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple6 triple5) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule3 % int2)) triple2 triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple4 triple3) -> (rule2 % int3)) ((triple2) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple2) -> (rule3 % int3)) triple2 triple1) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Big, round Bob is cold and very green.
Fred is round, dresses in red, but is blue with cold.
Although Harry is young and nice, he is as cold as ice.
A nice person with rough skin is red.
People that are big and cold are blue as well.
If you are green you are also kind.
A red, round male or female will also be a nice male or female.
On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
Blue, kind, and cold people are habitually rough.
John is round and rough, meaning that he is someone that is seen as green.