For someone so round, Bob turns blue when he's cold. No wonder he's so rough and red with anger all the time. They always call him rough Fred. Big, kind Gary is so very blue and red, but a nice person. Harry was born only a few years ago so he is young. A red colored person who is kind and feels cold is usually considered nice. People who are cold even when they're nice and round, they are young. Blue people who are kind and nice are actually quite rough. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. Julie is really nice to gardeners since she has a green thumb. Anyone who is round and also cold will surely be big as well. A rough, big, and round person can't help but be kind as well.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple7)]
("Gary" "is" "red" "+")
triple7
Bob is not red.
False
1
inv-proof
[(triple3)]
("Bob" "is" "red" "-")
triple3
Gary is rough.
True
4
proof
[(((triple10 triple9 triple8) -> rule3))]
("Gary" "is" "rough" "+")
((triple10 triple9 triple8) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple1 triple4) -> rule6))]
("Bob" "is" "big" "-")
((triple1 triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
True
6
proof
[(((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7))]
("Bob" "is" "kind" "+")
((triple2 ((triple1 triple4) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not kind.
False
6
inv-proof
[(((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7))]
("Bob" "is" "kind" "-")
((triple2 ((triple1 triple4) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
True
9
proof
[(((triple3 ((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7) triple4) -> rule1))]
("Bob" "is" "nice" "+")
((triple3 ((triple2 ((triple1 triple4) -> (rule6 % int3)) triple1) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((triple3 ((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7) triple4) -> rule1))]
("Bob" "is" "nice" "-")
((triple3 ((triple2 ((triple1 triple4) -> (rule6 % int3)) triple1) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
True
10
proof
[(((((triple3 ((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7) triple4) -> rule1)) -> rule5))]
("Bob" "is" "green" "+")
((((triple3 ((triple2 ((triple1 triple4) -> (rule6 % int4)) triple1) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not young.
False
12
inv-proof
[(((((triple3 ((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7) triple4) -> rule1) triple1 triple4) -> rule2))]
("Bob" "is" "young" "-")
((((triple3 ((triple2 ((triple1 triple4) -> (rule6 % int4)) triple1) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple1 triple4) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "kind" "-")
Fred is green.
Unknown
rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "green" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Fred is rough.[(triple6)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is red.[(triple7)] Harry is young.[(triple12)] @1: Bob is big.[(((triple1 triple4) -> rule6))] Gary is green.[(((triple8) -> rule5))] Gary is rough.[(((triple10 triple9 triple8) -> rule3))] @2: Bob is kind.[(((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7))] @3: Bob is nice.[(((triple3 ((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7) triple4) -> rule1))] @4: Bob is green.[(((((triple3 ((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7) triple4) -> rule1)) -> rule5))] Bob is young.[(((((triple3 ((triple2 ((triple1 triple4) -> rule6) triple1) -> rule7) triple4) -> rule1) triple1 triple4) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple9 triple8) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((triple1 triple4) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((triple2 ((triple1 triple4) -> (rule6 % int3)) triple1) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((triple3 ((triple2 ((triple1 triple4) -> (rule6 % int4)) triple1) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple3 ((triple2 ((triple1 triple4) -> (rule6 % int4)) triple1) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple1 triple4) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
For someone so round, Bob turns blue when he's cold; No wonder he's so rough and red with anger all the time.
They always call him rough Fred.
Big, kind Gary is so very blue and red, but a nice person.
Harry was born only a few years ago so he is young.
A red colored person who is kind and feels cold is usually considered nice.
People who are cold even when they're nice and round, they are young.
Blue people who are kind and nice are actually quite rough.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
Julie is really nice to gardeners since she has a green thumb.
Anyone who is round and also cold will surely be big as well.
A rough, big, and round person can't help but be kind as well.