Alan can be cold and rough, but also can be nice and kind. Either way, he's big and round. Dave is young and big in stature.  He is cold but nice. Eric is a kind and red colored guy. We called someone with green, round eyes, blue for some reason. A rather round and big person will be kind, but also blue. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. Cold, red people are generally kind and big. A blue and red colored person that is young is also very cold. A rather round and green person will be red.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
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 nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Eric is red.
True
1
proof
[(triple11)]
("Eric" "is" "red" "+")
triple11
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Alan is blue.
True
4
proof
[(((triple1 triple4 triple6) -> rule2))]
("Alan" "is" "blue" "+")
((triple1 triple4 triple6) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
4
inv-proof
[(((triple1 triple4 triple6) -> rule2))]
("Alan" "is" "blue" "-")
((triple1 triple4 triple6) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
True
7
proof
[(((triple3 ((triple1 triple4 triple6) -> rule2) triple4) -> rule3))]
("Alan" "is" "green" "+")
((triple3 ((triple1 triple4 triple6) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not green.
False
7
inv-proof
[(((triple3 ((triple1 triple4 triple6) -> rule2) triple4) -> rule3))]
("Alan" "is" "green" "-")
((triple3 ((triple1 triple4 triple6) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
True
9
proof
[(((triple1 ((triple3 ((triple1 triple4 triple6) -> rule2) triple4) -> rule3)) -> rule6))]
("Alan" "is" "red" "+")
((triple1 ((triple3 ((triple1 triple4 triple6) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not red.
False
9
inv-proof
[(((triple1 ((triple3 ((triple1 triple4 triple6) -> rule2) triple4) -> rule3)) -> rule6))]
("Alan" "is" "red" "-")
((triple1 ((triple3 ((triple1 triple4 triple6) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is big.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Dave is nice.[(triple8)] Dave is young.[(triple7)] Eric is kind.[(triple12)] Eric is red.[(triple11)] @1: Alan is blue.[(((triple1 triple4 triple6) -> rule2))] @2: Alan is green.[(((triple3 ((triple1 triple4 triple6) -> rule2) triple4) -> rule3))] @3: Alan is red.[(((triple1 ((triple3 ((triple1 triple4 triple6) -> rule2) triple4) -> rule3)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple12
Eric is red.
("Eric" "is" "red" "+")
triple11
Alan is blue.
("Alan" "is" "blue" "+")
((triple1 triple4 triple6) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple3 ((triple1 triple4 triple6) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple1 ((triple3 ((triple1 triple4 triple6) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan can be cold and rough, but also can be nice and kind; Either way, he's big and round.
Dave is young and big in stature; He is cold but nice.
Eric is a kind and red colored guy.
We called someone with green, round eyes, blue for some reason.
A rather round and big person will be kind, but also blue.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
Cold, red people are generally kind and big.
A blue and red colored person that is young is also very cold.
A rather round and green person will be red.