Bob is still young and round, but he is nice to everyone and kind to animals. They always call him rough Charlie. Young Dave is wearing green pants. Fred is a round fellow, but he is kind, even when he is so cold he turns blue. Red haired people who are nice and kind are looked up to because they are always big. When somebody is round, kind and blue, you know they'll also be red. If a person is quite big and also round then they are certainly rough too. A cold, red person with a kind disposition will certainly be big.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is kind and nice and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Dave is not green.
False
1
inv-proof
[(triple7)]
("Dave" "is" "green" "-")
triple7
Fred is red.
True
4
proof
[(((triple8 triple9 triple11) -> rule2))]
("Fred" "is" "red" "+")
((triple8 triple9 triple11) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
4
inv-proof
[(((triple8 triple9 triple11) -> rule2))]
("Fred" "is" "red" "-")
((triple8 triple9 triple11) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
True
7
proof
[(((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4))]
("Fred" "is" "big" "+")
((((triple8 triple9 triple11) -> (rule2 % int2)) triple10 triple9) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not big.
False
7
inv-proof
[(((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4))]
("Fred" "is" "big" "-")
((((triple8 triple9 triple11) -> (rule2 % int2)) triple10 triple9) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
True
9
proof
[(((((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4) triple8) -> rule3))]
("Fred" "is" "rough" "+")
((((((triple8 triple9 triple11) -> (rule2 % int3)) triple10 triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not rough.
False
9
inv-proof
[(((((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4) triple8) -> rule3))]
("Fred" "is" "rough" "-")
((((((triple8 triple9 triple11) -> (rule2 % int3)) triple10 triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is rough.
Unknown
rconc
[@3: Bob is rough.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is kind.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is rough.[(triple5)] Dave is green.[(triple7)] Dave is young.[(triple6)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is kind.[(triple9)] Fred is round.[(triple8)] @1: Fred is red.[(((triple8 triple9 triple11) -> rule2))] @2: Fred is big.[(((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4))] @3: Fred is rough.[(((((((triple8 triple9 triple11) -> rule2) triple10 triple9) -> rule4) triple8) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
((triple8 triple9 triple11) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple8 triple9 triple11) -> (rule2 % int2)) triple10 triple9) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((((triple8 triple9 triple11) -> (rule2 % int3)) triple10 triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Bob is still young and round, but he is nice to everyone and kind to animals.
They always call him rough Charlie.
Young Dave is wearing green pants.
Fred is a round fellow, but he is kind, even when he is so cold he turns blue.
Red haired people who are nice and kind are looked up to because they are always big.
When somebody is round, kind and blue, you know they'll also be red.
If a person is quite big and also round then they are certainly rough too.
A cold, red person with a kind disposition will certainly be big.