Alan is big and green, which is good, because he is also cold and blue. Dave is nice, even when he is rough and red with anger. Eric is a nice person, but he is both blue and red. Others enjoy Gary's company because he is so nice and kind. A big person who feels cold and has blue skin is a nice person. Most young, green people are kind and because of this they are round. A person that is nice and young is also going to be a person that is rough. A kind, cold, round person will be nice in addition. When anyone is young, red and green, you know they'll also be blue. A big, nice, blue person is likely to be young. Round green people usually feel blue.
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Alan is cold.
True
1
proof
[(triple2)]
("Alan" "is" "cold" "+")
triple2
Eric is not red.
False
1
inv-proof
[(triple8)]
("Eric" "is" "red" "-")
triple8
Alan is nice.
True
4
proof
[(((triple2 triple3 triple4) -> rule1))]
("Alan" "is" "nice" "+")
((triple2 triple3 triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
4
inv-proof
[(((triple2 triple3 triple4) -> rule1))]
("Alan" "is" "nice" "-")
((triple2 triple3 triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
True
7
proof
[(((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6))]
("Alan" "is" "young" "+")
((triple4 ((triple2 triple3 triple4) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not young.
False
7
inv-proof
[(((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6))]
("Alan" "is" "young" "-")
((triple4 ((triple2 triple3 triple4) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
True
12
proof
[(((((triple2 triple3 triple4) -> rule1) ((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6)) -> rule3))]
("Alan" "is" "rough" "+")
((((triple2 triple3 triple4) -> (rule1 % int3)) ((triple4 ((triple2 triple3 triple4) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not rough.
False
12
inv-proof
[(((((triple2 triple3 triple4) -> rule1) ((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6)) -> rule3))]
("Alan" "is" "rough" "-")
((((triple2 triple3 triple4) -> (rule1 % int3)) ((triple4 ((triple2 triple3 triple4) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "young" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is green.[(triple1)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] Eric is blue.[(triple10)] Eric is nice.[(triple9)] Eric is red.[(triple8)] Gary is kind.[(triple12)] Gary is nice.[(triple11)] @1: Alan is nice.[(((triple2 triple3 triple4) -> rule1))] @2: Alan is young.[(((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6))] @3: Alan is rough.[(((((triple2 triple3 triple4) -> rule1) ((triple4 ((triple2 triple3 triple4) -> rule1) triple3) -> rule6)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple3 triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple4 ((triple2 triple3 triple4) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2 triple3 triple4) -> (rule1 % int3)) ((triple4 ((triple2 triple3 triple4) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is big and green, which is good, because he is also cold and blue.
Dave is nice, even when he is rough and red with anger.
Eric is a nice person, but he is both blue and red.
Others enjoy Gary's company because he is so nice and kind.
A big person who feels cold and has blue skin is a nice person.
Most young, green people are kind and because of this they are round.
A person that is nice and young is also going to be a person that is rough.
A kind, cold, round person will be nice in addition.
When anyone is young, red and green, you know they'll also be blue.
A big, nice, blue person is likely to be young.
Round green people usually feel blue.