Because Bob gets cold easily he tends to appear round from bundling up. Charlie is very nice to people, but he's also rather big. Because Dave is so young, he is rough and cold when he can be round instead. Gary has a round face and is very nice. Round and big people are sure to be rough. A person who is round shaped while also being quite cold tends to be nice. A very nice and kind person will also be round shaped. A big and rough person who is blue is also considered to be green. A green colored and rough person will be quite kind. People who are nice and cold are also green.
Bob is round.
("Bob" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Gary is not nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "-")
triple10
Dave is nice.
True
3
proof
[(((triple6 triple8) -> rule2))]
("Dave" "is" "nice" "+")
((triple6 triple8) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "nice" "-")
((triple1 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
True
5
proof
[(((((triple1 triple2) -> rule2) triple2) -> rule6))]
("Bob" "is" "green" "+")
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not green.
False
5
inv-proof
[(((((triple1 triple2) -> rule2) triple2) -> rule6))]
("Bob" "is" "green" "-")
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Dave is kind.
True
7
proof
[(((((((triple6 triple8) -> rule2) triple8) -> rule6) triple7) -> rule5))]
("Dave" "is" "kind" "+")
((((((triple6 triple8) -> (rule2 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not kind.
False
7
inv-proof
[(((((((triple6 triple8) -> rule2) triple8) -> rule6) triple7) -> rule5))]
("Dave" "is" "kind" "-")
((((((triple6 triple8) -> (rule2 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@3: Charlie is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple2)] Bob is round.[(triple1)] Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Dave is cold.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Gary is nice.[(triple10)] Gary is round.[(triple9)] @1: Bob is nice.[(((triple1 triple2) -> rule2))] Dave is nice.[(((triple6 triple8) -> rule2))] @2: Bob is green.[(((((triple1 triple2) -> rule2) triple2) -> rule6))] Dave is green.[(((((triple6 triple8) -> rule2) triple8) -> rule6))] @3: Dave is kind.[(((((((triple6 triple8) -> rule2) triple8) -> rule6) triple7) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple8) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple6 triple8) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((((triple6 triple8) -> (rule2 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Because Bob gets cold easily he tends to appear round from bundling up.
Charlie is very nice to people, but he's also rather big.
Because Dave is so young, he is rough and cold when he can be round instead.
Gary has a round face and is very nice.
Round and big people are sure to be rough.
A person who is round shaped while also being quite cold tends to be nice.
A very nice and kind person will also be round shaped.
A big and rough person who is blue is also considered to be green.
A green colored and rough person will be quite kind.
People who are nice and cold are also green.