Both green but also blue, Charlie is nice and kind while being cold. Dave is someone you could describe as young, round, cold, and blue. A person who is nice and green with envy is round. Big and round people can't help but be cold all of the time. Despite being kind cold people with red ears will still be big. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. They found the ones that were round, blue, and green to be nice. If a person has round shape then they are also green and red.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Charlie is blue.
True
1
proof
[(triple5)]
("Charlie" "is" "blue" "+")
triple5
Dave is not young.
False
1
inv-proof
[(triple6)]
("Dave" "is" "young" "-")
triple6
Charlie is round.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "round" "-")
((triple1 triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
True
5
proof
[(((triple3 ((triple1 triple3) -> rule1)) -> rule6))]
("Charlie" "is" "red" "+")
((triple3 ((triple1 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((triple3 ((triple1 triple3) -> rule1)) -> rule6))]
("Charlie" "is" "red" "-")
((triple3 ((triple1 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
True
8
proof
[(((triple4 ((triple3 ((triple1 triple3) -> rule1)) -> rule6) triple2) -> rule3))]
("Charlie" "is" "big" "+")
((triple4 ((triple3 ((triple1 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((triple4 ((triple3 ((triple1 triple3) -> rule1)) -> rule6) triple2) -> rule3))]
("Charlie" "is" "big" "-")
((triple4 ((triple3 ((triple1 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
True
11
proof
[(((triple1 ((triple4 ((triple3 ((triple1 triple3) -> rule1)) -> rule6) triple2) -> rule3) triple2) -> rule4))]
("Charlie" "is" "young" "+")
((triple1 ((triple4 ((triple3 ((triple1 triple3) -> (rule1 % int4))) -> (rule6 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not young.
False
11
inv-proof
[(((triple1 ((triple4 ((triple3 ((triple1 triple3) -> rule1)) -> rule6) triple2) -> rule3) triple2) -> rule4))]
("Charlie" "is" "young" "-")
((triple1 ((triple4 ((triple3 ((triple1 triple3) -> (rule1 % int4))) -> (rule6 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fred" "is" "cold" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "red" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Charlie is nice.[(triple1)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is round.[(triple7)] Dave is young.[(triple6)] @1: Charlie is round.[(((triple1 triple3) -> rule1))] @2: Charlie is red.[(((triple3 ((triple1 triple3) -> rule1)) -> rule6))] @3: Charlie is big.[(((triple4 ((triple3 ((triple1 triple3) -> rule1)) -> rule6) triple2) -> rule3))] @4: Charlie is young.[(((triple1 ((triple4 ((triple3 ((triple1 triple3) -> rule1)) -> rule6) triple2) -> rule3) triple2) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 ((triple1 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 ((triple3 ((triple1 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 ((triple4 ((triple3 ((triple1 triple3) -> (rule1 % int4))) -> (rule6 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Both green but also blue, Charlie is nice and kind while being cold.
Dave is someone you could describe as young, round, cold, and blue.
A person who is nice and green with envy is round.
Big and round people can't help but be cold all of the time.
Despite being kind cold people with red ears will still be big.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
They found the ones that were round, blue, and green to be nice.
If a person has round shape then they are also green and red.