They always say that he is so nice and kind, that is Big Bob.  But he is also round and blue. When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. When you see Eric, you will notice he is cold, big and kind. Harry is very nice to people, but he's also rather big. A person that is cold, blue and nice is also considered to be round. Maybe someone is rough and blue with the cold. I know anyone I meet who is big, nice, and round will be young. Big and cold people are likely to be round, too. A person that is feeling blue and slightly big, is red as well. A nice young person will be rough in texture.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Harry is nice.
True
1
proof
[(triple11)]
("Harry" "is" "nice" "+")
triple11
Eric is not cold.
False
1
inv-proof
[(triple9)]
("Eric" "is" "cold" "-")
triple9
Eric is round.
True
3
proof
[(((triple10 triple9) -> rule4))]
("Eric" "is" "round" "+")
((triple10 triple9) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple10 triple9) -> rule4))]
("Eric" "is" "round" "-")
((triple10 triple9) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Bob is rough.
True
6
proof
[(((((triple5 triple2 triple1) -> rule3) triple2) -> rule6))]
("Bob" "is" "rough" "+")
((((triple5 triple2 triple1) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not rough.
False
6
inv-proof
[(((((triple5 triple2 triple1) -> rule3) triple2) -> rule6))]
("Bob" "is" "rough" "-")
((((triple5 triple2 triple1) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
True
8
proof
[(((((((triple5 triple2 triple1) -> rule3) triple2) -> rule6) triple4) -> rule2))]
("Bob" "is" "cold" "+")
((((((triple5 triple2 triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not cold.
False
8
inv-proof
[(((((((triple5 triple2 triple1) -> rule3) triple2) -> rule6) triple4) -> rule2))]
("Bob" "is" "cold" "-")
((((((triple5 triple2 triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Harry is young.
Unknown
rconc
[@3: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Eric is big.[(triple10)] Eric is cold.[(triple9)] Eric is kind.[(triple8)] Harry is big.[(triple12)] Harry is nice.[(triple11)] @1: Bob is red.[(((triple5 triple4) -> rule5))] Bob is young.[(((triple5 triple2 triple1) -> rule3))] Eric is round.[(((triple10 triple9) -> rule4))] @2: Bob is rough.[(((((triple5 triple2 triple1) -> rule3) triple2) -> rule6))] @3: Bob is cold.[(((((((triple5 triple2 triple1) -> rule3) triple2) -> rule6) triple4) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Bob is red.
("Bob" "is" "red" "+")
((triple5 triple4) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple5 triple2 triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple10 triple9) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple5 triple2 triple1) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple5 triple2 triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
They always say that he is so nice and kind, that is Big Bob; But he is also round and blue.
When you meet Dave you'll the two characteristics that will standout is that he's red but also rough.
When you see Eric, you will notice he is cold, big and kind.
Harry is very nice to people, but he's also rather big.
A person that is cold, blue and nice is also considered to be round.
Maybe someone is rough and blue with the cold.
I know anyone I meet who is big, nice, and round will be young.
Big and cold people are likely to be round, too.
A person that is feeling blue and slightly big, is red as well.
A nice young person will be rough in texture.