Dave is a kind and red colored guy. Gary ate some rotten meat and now feels green. Harry has a big round body which makes him feel blue about how rough he looks and fills him with red anger. Young people who wear red lipstick are certainly kind. People who are red and round are usually assumed to be green. Big, rough people sometimes are also green and when they are they must be cold. It's impossible for someone to be red, big, and cold without them also being kind. Anybody with rough, kind and blue aspects will certainly be cold, too.
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Harry is green.
True
3
proof
[(((triple6 triple4) -> rule2))]
("Harry" "is" "green" "+")
((triple6 triple4) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple6 triple4) -> rule2))]
("Harry" "is" "green" "-")
((triple6 triple4) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
True
6
proof
[(((triple5 triple8 ((triple6 triple4) -> rule2)) -> rule3))]
("Harry" "is" "cold" "+")
((triple5 triple8 ((triple6 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((triple5 triple8 ((triple6 triple4) -> rule2)) -> rule3))]
("Harry" "is" "cold" "-")
((triple5 triple8 ((triple6 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
True
9
proof
[(((triple6 triple8 ((triple5 triple8 ((triple6 triple4) -> rule2)) -> rule3)) -> rule4))]
("Harry" "is" "kind" "+")
((triple6 triple8 ((triple5 triple8 ((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not kind.
False
9
inv-proof
[(((triple6 triple8 ((triple5 triple8 ((triple6 triple4) -> rule2)) -> rule3)) -> rule4))]
("Harry" "is" "kind" "-")
((triple6 triple8 ((triple5 triple8 ((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is kind.[(triple2)] Dave is red.[(triple1)] Gary is green.[(triple3)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is red.[(triple6)] Harry is rough.[(triple5)] Harry is round.[(triple4)] @1: Harry is green.[(((triple6 triple4) -> rule2))] @2: Harry is cold.[(((triple5 triple8 ((triple6 triple4) -> rule2)) -> rule3))] @3: Harry is kind.[(((triple6 triple8 ((triple5 triple8 ((triple6 triple4) -> rule2)) -> rule3)) -> rule4))]
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
((triple6 triple4) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple5 triple8 ((triple6 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple6 triple8 ((triple5 triple8 ((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Dave is a kind and red colored guy.
Gary ate some rotten meat and now feels green.
Harry has a big round body which makes him feel blue about how rough he looks and fills him with red anger.
Young people who wear red lipstick are certainly kind.
People who are red and round are usually assumed to be green.
Big, rough people sometimes are also green and when they are they must be cold.
It's impossible for someone to be red, big, and cold without them also being kind.
Anybody with rough, kind and blue aspects will certainly be cold, too.