Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Charlie wears all blue. Eric is someone you could describe as young, round, cold, and blue. A red colored and round person who is also young will be rather kind. A rather round and big person will be kind, but also blue. A big blue someone could also be green. People who are blue and cold are red. Someone with the traits of being cold and red is also going to be someone who is big. If someone seems young, kind, and nice, expect them to be quite round.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Eric is cold.
True
1
proof
[(triple7)]
("Eric" "is" "cold" "+")
triple7
Eric is not young.
False
1
inv-proof
[(triple5)]
("Eric" "is" "young" "-")
triple5
Eric is red.
True
3
proof
[(((triple8 triple7) -> rule4))]
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple8 triple7) -> rule4))]
("Eric" "is" "red" "-")
((triple8 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
True
5
proof
[(((triple7 ((triple8 triple7) -> rule4)) -> rule5))]
("Eric" "is" "big" "+")
((triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((((triple8 triple7) -> rule4) triple6 triple5) -> rule1))]
("Eric" "is" "kind" "-")
((((triple8 triple7) -> (rule4 % int2)) triple6 triple5) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is green.
True
7
proof
[(((triple8 ((triple7 ((triple8 triple7) -> rule4)) -> rule5)) -> rule3))]
("Eric" "is" "green" "+")
((triple8 ((triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not green.
False
7
inv-proof
[(((triple8 ((triple7 ((triple8 triple7) -> rule4)) -> rule5)) -> rule3))]
("Eric" "is" "green" "-")
((triple8 ((triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "big" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple4)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] @1: Eric is red.[(((triple8 triple7) -> rule4))] @2: Eric is big.[(((triple7 ((triple8 triple7) -> rule4)) -> rule5))] Eric is kind.[(((((triple8 triple7) -> rule4) triple6 triple5) -> rule1))] @3: Eric is green.[(((triple8 ((triple7 ((triple8 triple7) -> rule4)) -> rule5)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple8 triple7) -> (rule4 % int2)) triple6 triple5) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple8 ((triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Charlie wears all blue.
Eric is someone you could describe as young, round, cold, and blue.
A red colored and round person who is also young will be rather kind.
A rather round and big person will be kind, but also blue.
A big blue someone could also be green.
People who are blue and cold are red.
Someone with the traits of being cold and red is also going to be someone who is big.
If someone seems young, kind, and nice, expect them to be quite round.