Charlie is a young man who is big and round. He is also kind with a bit of a cold streak. Dave loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Others enjoy Eric's company because he is so nice and kind. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Rough people, round from over eating, who are also cold are young and don't mind the draft. Blue people who are cold are always round in shape. Red people feel blue about it. When someone feels cold, while being big and rough, they always turn out to be red. Young people that are cold and round are necessarily big. An individual with green, blue and big characteristics will also be rough.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Eric is kind.
True
1
proof
[(triple10)]
("Eric" "is" "kind" "+")
triple10
Eric is not nice.
False
1
inv-proof
[(triple9)]
("Eric" "is" "nice" "-")
triple9
Dave is young.
True
4
proof
[(((triple6 triple8 triple7) -> rule2))]
("Dave" "is" "young" "+")
((triple6 triple8 triple7) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
4
inv-proof
[(((triple6 triple8 triple7) -> rule2))]
("Dave" "is" "young" "-")
((triple6 triple8 triple7) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
True
7
proof
[(((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6))]
("Dave" "is" "big" "+")
((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not big.
False
7
inv-proof
[(((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6))]
("Dave" "is" "big" "-")
((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
True
10
proof
[(((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5))]
("Dave" "is" "red" "+")
((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not red.
False
10
inv-proof
[(((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5))]
("Dave" "is" "red" "-")
((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
True
11
proof
[(((((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5)) -> rule4))]
("Dave" "is" "blue" "+")
((((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is not blue.
False
11
inv-proof
[(((((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5)) -> rule4))]
("Dave" "is" "blue" "-")
((((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@3: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule7 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Charlie is big.[(triple5 OR ((triple4 triple2 triple1) -> rule6))] Charlie is cold.[(triple4)] Charlie is kind.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] @1: Dave is young.[(((triple6 triple8 triple7) -> rule2))] @2: Dave is big.[(((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6))] @3: Dave is red.[(((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5))] @4: Dave is blue.[(((((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> rule2)) -> rule6) triple7) -> rule5)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
((triple4 triple2 triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
((triple6 triple8 triple7) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((((triple8 ((triple8 triple6 ((triple6 triple8 triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Charlie is a young man who is big and round; He is also kind with a bit of a cold streak.
Dave loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Others enjoy Eric's company because he is so nice and kind.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
Blue people who are cold are always round in shape.
Red people feel blue about it.
When someone feels cold, while being big and rough, they always turn out to be red.
Young people that are cold and round are necessarily big.
An individual with green, blue and big characteristics will also be rough.