We know Charlie is round and red, yet somehow he is also green, in addition to being cold, blue, and big. Dave has green teeth and rough skin. People also notice his blue eyes. Gary had big, red, round cheeks. We called someone with green, round eyes, blue for some reason. Red, kind, young people will be rough people, too. People who are rough, round in shape, and big in stature are usuallu blue in color. Green and blue, when found in one person, signify someone who is cold. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A kind person who is big in size is definitely young. Round and somewhat big people manage to be kind to everyone.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
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 green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Charlie is green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Charlie is not green.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "green" "-")
triple3
Charlie is kind.
True
3
proof
[(((triple1 triple6) -> rule7))]
("Charlie" "is" "kind" "+")
((triple1 triple6) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not nice.
False
4
inv-proof
[(((triple5 triple2 triple1) -> rule5) OR ((((triple3 triple1) -> rule1) triple2 triple1) -> rule5) OR ((((((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2) triple1 triple6) -> rule3) triple2 triple1) -> rule5))]
("Charlie" "is" "nice" "-")
((triple5 triple2 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple3 triple1) -> (rule1 % int2)) triple2 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((((((triple1 triple6) -> (rule7 % int5)) triple6) -> (rule6 % int4)) ((triple1 triple6) -> (rule7 % int5)) triple2) -> (rule2 % int3)) triple1 triple6) -> (rule3 % int2)) triple2 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is young.
True
5
proof
[(((((triple1 triple6) -> rule7) triple6) -> rule6))]
("Charlie" "is" "young" "+")
((((triple1 triple6) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Gary is not young.
False
5
inv-proof
[(((((triple10 triple12) -> rule7) triple12) -> rule6))]
("Gary" "is" "young" "-")
((((triple10 triple12) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
True
10
proof
[(((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2))]
("Gary" "is" "rough" "+")
((((((triple10 triple12) -> (rule7 % int3)) triple12) -> (rule6 % int2)) ((triple10 triple12) -> (rule7 % int3)) triple11) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie is not rough.
False
10
inv-proof
[(((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2))]
("Charlie" "is" "rough" "-")
((((((triple1 triple6) -> (rule7 % int3)) triple6) -> (rule6 % int2)) ((triple1 triple6) -> (rule7 % int3)) triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is blue.
True
13
proof
[(((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3))]
("Gary" "is" "blue" "+")
((((((((triple10 triple12) -> (rule7 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple12) -> (rule7 % int4)) triple11) -> (rule2 % int2)) triple10 triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is not blue.
False
13
inv-proof
[(((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3))]
("Gary" "is" "blue" "-")
((((((((triple10 triple12) -> (rule7 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple12) -> (rule7 % int4)) triple11) -> (rule2 % int2)) triple10 triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is nice.
True
16
proof
[(((((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3) triple11 triple10) -> rule5))]
("Gary" "is" "nice" "+")
((((((((((triple10 triple12) -> (rule7 % int5)) triple12) -> (rule6 % int4)) ((triple10 triple12) -> (rule7 % int5)) triple11) -> (rule2 % int3)) triple10 triple12) -> (rule3 % int2)) triple11 triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not nice.
False
16
inv-proof
[(((((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3) triple11 triple10) -> rule5))]
("Gary" "is" "nice" "-")
((((((((((triple10 triple12) -> (rule7 % int5)) triple12) -> (rule6 % int4)) ((triple10 triple12) -> (rule7 % int5)) triple11) -> (rule2 % int3)) triple10 triple12) -> (rule3 % int2)) triple11 triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "kind" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Charlie is big.[(triple6)] Charlie is blue.[(triple5 OR ((triple3 triple1) -> rule1) OR ((((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2) triple1 triple6) -> rule3))] Charlie is cold.[(triple4 OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple3 triple1) -> rule1)) -> rule4) OR ((triple3 ((((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2) triple1 triple6) -> rule3)) -> rule4))] Charlie is green.[(triple3)] Charlie is red.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple9)] Dave is green.[(triple8)] Dave is rough.[(triple7)] Gary is big.[(triple12)] Gary is red.[(triple11)] Gary is round.[(triple10)] @1: Charlie is kind.[(((triple1 triple6) -> rule7))] Charlie is nice.[(((triple5 triple2 triple1) -> rule5) OR ((((triple3 triple1) -> rule1) triple2 triple1) -> rule5) OR ((((((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2) triple1 triple6) -> rule3) triple2 triple1) -> rule5))] Dave is cold.[(((triple8 triple9) -> rule4))] Gary is kind.[(((triple10 triple12) -> rule7))] @2: Charlie is young.[(((((triple1 triple6) -> rule7) triple6) -> rule6))] Gary is young.[(((((triple10 triple12) -> rule7) triple12) -> rule6))] @3: Charlie is rough.[(((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2))] Gary is rough.[(((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2))] @4: Gary is blue.[(((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3))] @5: Gary is nice.[(((((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3) triple11 triple10) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((triple3 triple1) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((((((triple1 triple6) -> (rule7 % int4)) triple6) -> (rule6 % int3)) ((triple1 triple6) -> (rule7 % int4)) triple2) -> (rule2 % int2)) triple1 triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple3 triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple3 ((triple3 triple1) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple3 ((((((((triple1 triple6) -> (rule7 % int5)) triple6) -> (rule6 % int4)) ((triple1 triple6) -> (rule7 % int5)) triple2) -> (rule2 % int3)) triple1 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 triple6) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple2 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple3 triple1) -> (rule1 % int2)) triple2 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((((((triple1 triple6) -> (rule7 % int5)) triple6) -> (rule6 % int4)) ((triple1 triple6) -> (rule7 % int5)) triple2) -> (rule2 % int3)) triple1 triple6) -> (rule3 % int2)) triple2 triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 triple9) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10 triple12) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple1 triple6) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple10 triple12) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple1 triple6) -> (rule7 % int3)) triple6) -> (rule6 % int2)) ((triple1 triple6) -> (rule7 % int3)) triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple10 triple12) -> (rule7 % int3)) triple12) -> (rule6 % int2)) ((triple10 triple12) -> (rule7 % int3)) triple11) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((((((triple10 triple12) -> (rule7 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple12) -> (rule7 % int4)) triple11) -> (rule2 % int2)) triple10 triple12) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
((((((((((triple10 triple12) -> (rule7 % int5)) triple12) -> (rule6 % int4)) ((triple10 triple12) -> (rule7 % int5)) triple11) -> (rule2 % int3)) triple10 triple12) -> (rule3 % int2)) triple11 triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
We know Charlie is round and red, yet somehow he is also green, in addition to being cold, blue, and big.
Dave has green teeth and rough skin; People also notice his blue eyes.
Gary had big, red, round cheeks.
We called someone with green, round eyes, blue for some reason.
Red, kind, young people will be rough people, too.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Green and blue, when found in one person, signify someone who is cold.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
A kind person who is big in size is definitely young.
Round and somewhat big people manage to be kind to everyone.