Bob is young, rough and green, but he is also kind and is red when embarrassed. Charlie ate some rotten meat and now feels green. Red Dave is what folks call him, because he is quite red. Young Gary is a big, cold, rough person. Find someone cold and green. If they are also round, then they are sure to be nice. Rough and kind people are big. Big and cold people are likely to be round, too. Kind people,though green,are cold.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple10)]
("Gary" "is" "cold" "+")
triple10
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Bob is cold.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Bob" "is" "cold" "+")
((triple4 triple5) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple11 triple10) -> rule3))]
("Gary" "is" "round" "-")
((triple11 triple10) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is round.
True
7
proof
[(((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3))]
("Bob" "is" "round" "+")
((((triple2 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not round.
False
7
inv-proof
[(((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3))]
("Bob" "is" "round" "-")
((((triple2 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
True
12
proof
[(((((triple4 triple5) -> rule4) triple5 ((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3)) -> rule1))]
("Bob" "is" "nice" "+")
((((triple4 triple5) -> (rule4 % int4)) triple5 ((((triple2 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not nice.
False
12
inv-proof
[(((((triple4 triple5) -> rule4) triple5 ((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3)) -> rule1))]
("Bob" "is" "nice" "-")
((((triple4 triple5) -> (rule4 % int4)) triple5 ((((triple2 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is green.[(triple6)] Dave is red.[(triple7)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Bob is big.[(((triple2 triple4) -> rule2))] Bob is cold.[(((triple4 triple5) -> rule4))] Gary is round.[(((triple11 triple10) -> rule3))] @2: Bob is round.[(((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3))] @3: Bob is nice.[(((((triple4 triple5) -> rule4) triple5 ((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple4) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple5) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple11 triple10) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple2 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 triple5) -> (rule4 % int4)) triple5 ((((triple2 triple4) -> (rule2 % int3)) ((triple4 triple5) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young, rough and green, but he is also kind and is red when embarrassed.
Charlie ate some rotten meat and now feels green.
Red Dave is what folks call him, because he is quite red.
Young Gary is a big, cold, rough person.
Find someone cold and green; If they are also round, then they are sure to be nice.
Rough and kind people are big.
Big and cold people are likely to be round, too.
Kind people,though green,are cold.