Known as big round Dave, he is kind and nice and dresses all green and blue. That Eric is as round and red as a cherry, and twice as kind. Harry is a person both green and big. People who are rough, round in shape, and big in stature are usuallu blue in color. Young round folks who are at least a bit red are actually nice. A rough person who is young and nice is also red. Red people feel blue about it. Rough young folks are surprisingly kind. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. All the kind people in blue were young.
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
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 and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Eric is red.
True
1
proof
[(triple8)]
("Eric" "is" "red" "+")
triple8
Dave is not round.
False
1
inv-proof
[(triple1)]
("Dave" "is" "round" "-")
triple1
Eric is blue.
True
2
proof
[(((triple8) -> rule4))]
("Eric" "is" "blue" "+")
((triple8) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
2
inv-proof
[(((triple8) -> rule4))]
("Eric" "is" "blue" "-")
((triple8) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is red.
True
9
proof
[(((((triple5 triple3) -> rule7) triple2 ((triple3 triple1 triple2) -> rule6)) -> rule3) OR ((((((((triple3 triple1 triple2) -> rule6) triple1 triple6) -> rule1) triple3) -> rule7) triple2 ((triple3 triple1 triple2) -> rule6)) -> rule3))]
("Dave" "is" "red" "+")
((((triple5 triple3) -> (rule7 % int3)) triple2 ((triple3 triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple3 triple1 triple2) -> (rule6 % int4)) triple1 triple6) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple2 ((triple3 triple1 triple2) -> (rule6 % int4))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Eric is not young.
False
4
inv-proof
[(((((triple8) -> rule4) triple9) -> rule7))]
("Eric" "is" "young" "-")
((((triple8) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
True
7
proof
[(((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2))]
("Eric" "is" "nice" "+")
((triple8 triple7 ((((triple8) -> (rule4 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not nice.
False
7
inv-proof
[(((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2))]
("Eric" "is" "nice" "-")
((triple8 triple7 ((((triple8) -> (rule4 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is rough.
True
10
proof
[(((triple9 triple7 ((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2)) -> rule6))]
("Eric" "is" "rough" "+")
((triple9 triple7 ((triple8 triple7 ((((triple8) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not rough.
False
10
inv-proof
[(((triple9 triple7 ((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2)) -> rule6))]
("Eric" "is" "rough" "-")
((triple9 triple7 ((triple8 triple7 ((((triple8) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is blue.
Unknown
rconc
[@3: Alan is blue.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "rough" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Dave is big.[(triple6)] Dave is blue.[(triple5 OR ((((triple3 triple1 triple2) -> rule6) triple1 triple6) -> rule1))] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Eric is kind.[(triple9)] Eric is red.[(triple8)] Eric is round.[(triple7)] Harry is big.[(triple11)] Harry is green.[(triple10)] @1: Dave is rough.[(((triple3 triple1 triple2) -> rule6))] Dave is young.[(((triple5 triple3) -> rule7) OR ((((((triple3 triple1 triple2) -> rule6) triple1 triple6) -> rule1) triple3) -> rule7))] Eric is blue.[(((triple8) -> rule4))] @2: Dave is red.[(((((triple5 triple3) -> rule7) triple2 ((triple3 triple1 triple2) -> rule6)) -> rule3) OR ((((((((triple3 triple1 triple2) -> rule6) triple1 triple6) -> rule1) triple3) -> rule7) triple2 ((triple3 triple1 triple2) -> rule6)) -> rule3))] Eric is young.[(((((triple8) -> rule4) triple9) -> rule7))] @3: Eric is nice.[(((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2))] @4: Eric is rough.[(((triple9 triple7 ((triple8 triple7 ((((triple8) -> rule4) triple9) -> rule7)) -> rule2)) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
((((triple3 triple1 triple2) -> (rule6 % int2)) triple1 triple6) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 triple1 triple2) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple5 triple3) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((((triple3 triple1 triple2) -> (rule6 % int3)) triple1 triple6) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
((triple8) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple5 triple3) -> (rule7 % int3)) triple2 ((triple3 triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple3 triple1 triple2) -> (rule6 % int4)) triple1 triple6) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple2 ((triple3 triple1 triple2) -> (rule6 % int4))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
((((triple8) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple8 triple7 ((((triple8) -> (rule4 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
((triple9 triple7 ((triple8 triple7 ((((triple8) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Known as big round Dave, he is kind and nice and dresses all green and blue.
That Eric is as round and red as a cherry, and twice as kind.
Harry is a person both green and big.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Young round folks who are at least a bit red are actually nice.
A rough person who is young and nice is also red.
Red people feel blue about it.
Rough young folks are surprisingly kind.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
All the kind people in blue were young.