Charlie ate some rotten meat and now feels green. The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been. There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Gary. Harry looks red to most people, with blue features. A person who is described as round and rough is usually kind. A blue colored, nice but rough person is definitely young too. A red colored person will be rough textured and will be blue. People who are young, while being red and cold, are big people. Someone who is colored both in red and green, while being kind to others, is a round person. If someone is a bit rough, but also nice, then they qualify as round. A green and red colored person who has a nice temperament will be cold.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Dave is not rough.
False
1
inv-proof
[(triple2)]
("Dave" "is" "rough" "-")
triple2
Dave is cold.
True
4
proof
[(((triple5 triple4 triple3) -> rule7))]
("Dave" "is" "cold" "+")
((triple5 triple4 triple3) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
4
inv-proof
[(((triple5 triple4 triple3) -> rule7))]
("Dave" "is" "cold" "-")
((triple5 triple4 triple3) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
True
6
proof
[(((triple4 ((triple3 triple2) -> rule3) triple2) -> rule2))]
("Dave" "is" "young" "+")
((triple4 ((triple3 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((((triple4 triple2) -> rule6) triple2) -> rule1))]
("Dave" "is" "kind" "-")
((((triple4 triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
True
12
proof
[(((((triple4 ((triple3 triple2) -> rule3) triple2) -> rule2) triple3 ((triple5 triple4 triple3) -> rule7)) -> rule4))]
("Dave" "is" "big" "+")
((((triple4 ((triple3 triple2) -> (rule3 % int4)) triple2) -> (rule2 % int3)) triple3 ((triple5 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not big.
False
12
inv-proof
[(((((triple4 ((triple3 triple2) -> rule3) triple2) -> rule2) triple3 ((triple5 triple4 triple3) -> rule7)) -> rule4))]
("Dave" "is" "big" "-")
((((triple4 ((triple3 triple2) -> (rule3 % int4)) triple2) -> (rule2 % int3)) triple3 ((triple5 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is green.[(triple1)] Dave is green.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is red.[(triple6)] Harry is blue.[(triple11)] Harry is red.[(triple10)] @1: Dave is blue.[(((triple3 triple2) -> rule3))] Dave is cold.[(((triple5 triple4 triple3) -> rule7))] Dave is round.[(((triple4 triple2) -> rule6))] @2: Dave is kind.[(((((triple4 triple2) -> rule6) triple2) -> rule1))] Dave is young.[(((triple4 ((triple3 triple2) -> rule3) triple2) -> rule2))] @3: Dave is big.[(((((triple4 ((triple3 triple2) -> rule3) triple2) -> rule2) triple3 ((triple5 triple4 triple3) -> rule7)) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 triple2) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple5 triple4 triple3) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple4 triple2) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple4 triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple4 ((triple3 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple4 ((triple3 triple2) -> (rule3 % int4)) triple2) -> (rule2 % int3)) triple3 ((triple5 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Charlie ate some rotten meat and now feels green.
The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been.
There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Gary.
Harry looks red to most people, with blue features.
A person who is described as round and rough is usually kind.
A blue colored, nice but rough person is definitely young too.
A red colored person will be rough textured and will be blue.
People who are young, while being red and cold, are big people.
Someone who is colored both in red and green, while being kind to others, is a round person.
If someone is a bit rough, but also nice, then they qualify as round.
A green and red colored person who has a nice temperament will be cold.