Big, round Alan is liked by everyone one.  He is easily recognized with his red and green skin. If you met Eric you will see that he is round and red, but he is cold. My friend Gary is very young. People say he is nice for having a round shape. Harry was born only a few years ago so he is young. People who are blue and red and kind are described as being green. Nice green people and often blue with sadness. A nice and kind natured person that is big in shape will be rough. Rough and green people are also nice. Blue people who are rough are often young. Round and big people are sure to be rough. You can see that cold, blue people are round in shape.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Alan is green.
True
1
proof
[(triple3)]
("Alan" "is" "green" "+")
triple3
Gary is not nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "-")
triple10
Alan is rough.
True
3
proof
[(((triple1 triple4) -> rule6))]
("Alan" "is" "rough" "+")
((triple1 triple4) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
3
inv-proof
[(((triple1 triple4) -> rule6))]
("Alan" "is" "rough" "-")
((triple1 triple4) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
True
5
proof
[(((((triple1 triple4) -> rule6) triple3) -> rule4))]
("Alan" "is" "nice" "+")
((((triple1 triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not nice.
False
5
inv-proof
[(((((triple1 triple4) -> rule6) triple3) -> rule4))]
("Alan" "is" "nice" "-")
((((triple1 triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
True
7
proof
[(((triple3 ((((triple1 triple4) -> rule6) triple3) -> rule4)) -> rule2))]
("Alan" "is" "blue" "+")
((triple3 ((((triple1 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not blue.
False
7
inv-proof
[(((triple3 ((((triple1 triple4) -> rule6) triple3) -> rule4)) -> rule2))]
("Alan" "is" "blue" "-")
((triple3 ((((triple1 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
True
11
proof
[(((((triple1 triple4) -> rule6) ((triple3 ((((triple1 triple4) -> rule6) triple3) -> rule4)) -> rule2)) -> rule5))]
("Alan" "is" "young" "+")
((((triple1 triple4) -> (rule6 % int4)) ((triple3 ((((triple1 triple4) -> (rule6 % int4)) triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is not young.
False
11
inv-proof
[(((((triple1 triple4) -> rule6) ((triple3 ((((triple1 triple4) -> rule6) triple3) -> rule4)) -> rule2)) -> rule5))]
("Alan" "is" "young" "-")
((((triple1 triple4) -> (rule6 % int4)) ((triple3 ((((triple1 triple4) -> (rule6 % int4)) triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "blue" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Eric is cold.[(triple7)] Eric is red.[(triple6)] Eric is round.[(triple5)] Gary is nice.[(triple10)] Gary is round.[(triple9)] Gary is young.[(triple8)] Harry is young.[(triple11)] @1: Alan is rough.[(((triple1 triple4) -> rule6))] @2: Alan is nice.[(((((triple1 triple4) -> rule6) triple3) -> rule4))] @3: Alan is blue.[(((triple3 ((((triple1 triple4) -> rule6) triple3) -> rule4)) -> rule2))] @4: Alan is young.[(((((triple1 triple4) -> rule6) ((triple3 ((((triple1 triple4) -> rule6) triple3) -> rule4)) -> rule2)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple11
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple4) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1 triple4) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 ((((triple1 triple4) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
((((triple1 triple4) -> (rule6 % int4)) ((triple3 ((((triple1 triple4) -> (rule6 % int4)) triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Big, round Alan is liked by everyone one; He is easily recognized with his red and green skin.
If you met Eric you will see that he is round and red, but he is cold.
My friend Gary is very young; People say he is nice for having a round shape.
Harry was born only a few years ago so he is young.
People who are blue and red and kind are described as being green.
Nice green people and often blue with sadness.
A nice and kind natured person that is big in shape will be rough.
Rough and green people are also nice.
Blue people who are rough are often young.
Round and big people are sure to be rough.
You can see that cold, blue people are round in shape.