Because Bob gets cold easily he tends to appear round from bundling up. Dave is rough and is blue, but that's because he's big and round in a small and square world. Because Gary is so young, he is rough and cold when he can be round instead. A nice and blue person who's also red will be a rough person. A rough, blue person is often said to be nice. When someone is young, they can be cold but kind. Nice young people who are round are also blue. Anybody with big, rough and nice qualities is bound to also be young. A person described as cold and kind can also be described as nice.
Bob is round.
("Bob" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Dave is not rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
Gary is kind.
True
3
proof
[(((triple7 triple10) -> rule3))]
("Gary" "is" "kind" "+")
((triple7 triple10) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("Dave" "is" "nice" "-")
((triple5 triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is nice.
True
5
proof
[(((triple10 ((triple7 triple10) -> rule3)) -> rule6))]
("Gary" "is" "nice" "+")
((triple10 ((triple7 triple10) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Dave is not young.
False
6
inv-proof
[(((triple6 triple4 ((triple5 triple4) -> rule2)) -> rule5))]
("Dave" "is" "young" "-")
((triple6 triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Gary is blue.
True
8
proof
[(((((triple10 ((triple7 triple10) -> rule3)) -> rule6) triple7 triple8) -> rule4))]
("Gary" "is" "blue" "+")
((((triple10 ((triple7 triple10) -> (rule3 % int3))) -> (rule6 % int2)) triple7 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not blue.
False
8
inv-proof
[(((((triple10 ((triple7 triple10) -> rule3)) -> rule6) triple7 triple8) -> rule4))]
("Gary" "is" "blue" "-")
((((triple10 ((triple7 triple10) -> (rule3 % int3))) -> (rule6 % int2)) triple7 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@3: Bob is nice.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is cold.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Gary is cold.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Dave is nice.[(((triple5 triple4) -> rule2))] Gary is kind.[(((triple7 triple10) -> rule3))] @2: Dave is young.[(((triple6 triple4 ((triple5 triple4) -> rule2)) -> rule5))] Gary is nice.[(((triple10 ((triple7 triple10) -> rule3)) -> rule6))] @3: Gary is blue.[(((((triple10 ((triple7 triple10) -> rule3)) -> rule6) triple7 triple8) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 triple10) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple6 triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 ((triple7 triple10) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple10 ((triple7 triple10) -> (rule3 % int3))) -> (rule6 % int2)) triple7 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Because Bob gets cold easily he tends to appear round from bundling up.
Dave is rough and is blue, but that's because he's big and round in a small and square world.
Because Gary is so young, he is rough and cold when he can be round instead.
A nice and blue person who's also red will be a rough person.
A rough, blue person is often said to be nice.
When someone is young, they can be cold but kind.
Nice young people who are round are also blue.
Anybody with big, rough and nice qualities is bound to also be young.
A person described as cold and kind can also be described as nice.