Alan is round shaped and green colored. Dave's a round guy, and a red and green guy. Eric is a nice person, but he is both blue and red. A round person who is cold is big. A kind and green person who is rough around the edges is cold. If you big person approaches and is cold, fear not because they are nice. When someone is nice, dressing in red, they can be blue because they are cold. Someone blue and red is definitely round and dressed as a clown. Round and big people are sure to be rough. Young,cold and blue people are mostly round.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Eric is blue.
True
1
proof
[(triple8)]
("Eric" "is" "blue" "+")
triple8
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Eric is cold.
True
4
proof
[(((triple7 triple8 triple6) -> rule4))]
("Eric" "is" "cold" "+")
((triple7 triple8 triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
4
inv-proof
[(((triple7 triple8 triple6) -> rule4))]
("Eric" "is" "cold" "-")
((triple7 triple8 triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
True
8
proof
[(((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1))]
("Eric" "is" "big" "+")
((((triple7 triple8 triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not big.
False
8
inv-proof
[(((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1))]
("Eric" "is" "big" "-")
((((triple7 triple8 triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
True
12
proof
[(((((triple8 triple6) -> rule5) ((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1)) -> rule6))]
("Eric" "is" "rough" "+")
((((triple8 triple6) -> (rule5 % int4)) ((((triple7 triple8 triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is not rough.
False
12
inv-proof
[(((((triple8 triple6) -> rule5) ((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1)) -> rule6))]
("Eric" "is" "rough" "-")
((((triple8 triple6) -> (rule5 % int4)) ((((triple7 triple8 triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Dave is not rough.
Unknown
inv-rconc
[@3: Dave is rough.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Dave is green.[(triple5)] Dave is red.[(triple4)] Dave is round.[(triple3)] Eric is blue.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] @1: Eric is cold.[(((triple7 triple8 triple6) -> rule4))] Eric is round.[(((triple8 triple6) -> rule5))] @2: Eric is big.[(((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1))] @3: Eric is rough.[(((((triple8 triple6) -> rule5) ((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1)) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 triple8 triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple8 triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple7 triple8 triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
((((triple8 triple6) -> (rule5 % int4)) ((((triple7 triple8 triple6) -> (rule4 % int3)) ((triple8 triple6) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Alan is round shaped and green colored.
Dave's a round guy, and a red and green guy.
Eric is a nice person, but he is both blue and red.
A round person who is cold is big.
A kind and green person who is rough around the edges is cold.
If you big person approaches and is cold, fear not because they are nice.
When someone is nice, dressing in red, they can be blue because they are cold.
Someone blue and red is definitely round and dressed as a clown.
Round and big people are sure to be rough.
Young,cold and blue people are mostly round.