Because Dave gets cold easily he tends to appear round from bundling up. Gary is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. A round person who is nice and feelin cold is usually rough in apperance. People who are nice and big and red are green. As someone can be round and rough, they can also be nice and kind. A round and blue individual will also be a cold individual. People who are kind and green are very often rough. Young and nice people are ultimately cold.
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Dave is not cold.
False
1
inv-proof
[(triple2)]
("Dave" "is" "cold" "-")
triple2
Gary is green.
True
4
proof
[(((triple5 triple7 triple4) -> rule2))]
("Gary" "is" "green" "+")
((triple5 triple7 triple4) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
4
inv-proof
[(((triple5 triple7 triple4) -> rule2))]
("Gary" "is" "green" "-")
((triple5 triple7 triple4) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
True
6
proof
[(((triple3 triple5 ((triple3 triple6) -> rule4)) -> rule1))]
("Gary" "is" "rough" "+")
((triple3 triple5 ((triple3 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not rough.
False
6
inv-proof
[(((triple3 triple5 ((triple3 triple6) -> rule4)) -> rule1))]
("Gary" "is" "rough" "-")
((triple3 triple5 ((triple3 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
True
9
proof
[(((triple5 triple3 ((triple3 triple5 ((triple3 triple6) -> rule4)) -> rule1)) -> rule3))]
("Gary" "is" "kind" "+")
((triple5 triple3 ((triple3 triple5 ((triple3 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not kind.
False
9
inv-proof
[(((triple5 triple3 ((triple3 triple5 ((triple3 triple6) -> rule4)) -> rule1)) -> rule3))]
("Gary" "is" "kind" "-")
((triple5 triple3 ((triple3 triple5 ((triple3 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Dave" "is" "rough" "+")
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Dave is cold.[(triple2)] Dave is round.[(triple1)] Gary is big.[(triple7)] Gary is blue.[(triple6)] Gary is nice.[(triple5)] Gary is red.[(triple4)] Gary is round.[(triple3)] @1: Gary is cold.[(((triple3 triple6) -> rule4))] Gary is green.[(((triple5 triple7 triple4) -> rule2))] @2: Gary is rough.[(((triple3 triple5 ((triple3 triple6) -> rule4)) -> rule1))] @3: Gary is kind.[(((triple5 triple3 ((triple3 triple5 ((triple3 triple6) -> rule4)) -> rule1)) -> rule3))]
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
((triple3 triple6) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple5 triple7 triple4) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple3 triple5 ((triple3 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple5 triple3 ((triple3 triple5 ((triple3 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Because Dave gets cold easily he tends to appear round from bundling up.
Gary is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
A round person who is nice and feelin cold is usually rough in apperance.
People who are nice and big and red are green.
As someone can be round and rough, they can also be nice and kind.
A round and blue individual will also be a cold individual.
People who are kind and green are very often rough.
Young and nice people are ultimately cold.