Charlie ate some rotten meat and now feels green. Dave is colored blue and red. He is also kind and cold to the touch. Being young, Fred is still green and blue. Gary is sometimes cold and blue, but he can also be kind and big. A kind, round person will surely be red as well. People who are rough, round in shape, and big in stature are usuallu blue in color. There could be a round someone with red hair wearing blue pants. Show me someone who is cold and kind, and I'll show you how green they are. A person described as cold and kind can also be described as nice. Young people tend to rough and nice, but they are also red. A very nice and kind person will also be round shaped.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Dave is kind.
True
1
proof
[(triple3)]
("Dave" "is" "kind" "+")
triple3
Gary is not cold.
False
1
inv-proof
[(triple10)]
("Gary" "is" "cold" "-")
triple10
Dave is green.
True
3
proof
[(((triple4 triple3) -> rule4))]
("Dave" "is" "green" "+")
((triple4 triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple10 triple9) -> rule5))]
("Gary" "is" "nice" "-")
((triple10 triple9) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is round.
True
5
proof
[(((((triple4 triple3) -> rule5) triple3) -> rule7))]
("Dave" "is" "round" "+")
((((triple4 triple3) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Gary is not round.
False
5
inv-proof
[(((((triple10 triple9) -> rule5) triple9) -> rule7))]
("Gary" "is" "round" "-")
((((triple10 triple9) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
True
7
proof
[(((triple9 ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule1))]
("Gary" "is" "red" "+")
((triple9 ((((triple10 triple9) -> (rule5 % int3)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not red.
False
7
inv-proof
[(((triple9 ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule1))]
("Gary" "is" "red" "-")
((triple9 ((((triple10 triple9) -> (rule5 % int3)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Charlie is green.[(triple1)] Dave is blue.[(triple5 OR ((triple2 ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule3) OR ((((triple3 ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule1) ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule3))] Dave is cold.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2 OR ((triple3 ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule1))] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple12)] Gary is blue.[(triple11 OR ((((triple9 ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule1) ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule3))] Gary is cold.[(triple10)] Gary is kind.[(triple9)] @1: Dave is green.[(((triple4 triple3) -> rule4))] Dave is nice.[(((triple4 triple3) -> rule5))] Gary is green.[(((triple10 triple9) -> rule4))] Gary is nice.[(((triple10 triple9) -> rule5))] @2: Dave is round.[(((((triple4 triple3) -> rule5) triple3) -> rule7))] Gary is round.[(((((triple10 triple9) -> rule5) triple9) -> rule7))] @3: Gary is red.[(((triple9 ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
((triple2 ((((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple3 ((((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple4 triple3) -> (rule5 % int4)) triple3) -> (rule7 % int3))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
((triple3 ((((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule7 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((((triple9 ((((triple10 triple9) -> (rule5 % int4)) triple9) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule5 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
((triple4 triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10 triple9) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple4 triple3) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple10 triple9) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple9 ((((triple10 triple9) -> (rule5 % int3)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Charlie ate some rotten meat and now feels green.
Dave is colored blue and red; He is also kind and cold to the touch.
Being young, Fred is still green and blue.
Gary is sometimes cold and blue, but he can also be kind and big.
A kind, round person will surely be red as well.
People who are rough, round in shape, and big in stature are usuallu blue in color.
There could be a round someone with red hair wearing blue pants.
Show me someone who is cold and kind, and I'll show you how green they are.
A person described as cold and kind can also be described as nice.
Young people tend to rough and nice, but they are also red.
A very nice and kind person will also be round shaped.