Alan has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. Gary is big and round for being so young. He ate some spoiled food that has him feeling green. This Harry guy is red. He is also kind and yet cold. Whoever is rough and red must be kind. Young people who wear red lipstick are certainly kind. You can tell if someone is big, kind, and young, then they are also nice. A kind person who is big in size is definitely young. A person who is green and kind is usually rather big. Someone who tends to be icy cold and rough but secretly nice are generally very blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Alan is nice.
True
1
proof
[(triple4 OR ((((triple5 ((triple2 triple3) -> rule1)) -> rule5) ((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1) ((triple5 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4)) -> rule3))]
("Alan" "is" "nice" "+")
triple4
((((triple5 ((triple2 triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule1 % int4)) ((((triple2 triple3) -> (rule1 % int4)) ((triple5 ((triple2 triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Gary is not big.
False
1
inv-proof
[(triple9)]
("Gary" "is" "big" "-")
triple9
Alan is kind.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Alan" "is" "kind" "+")
((triple2 triple3) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Alan" "is" "kind" "-")
((triple2 triple3) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
True
5
proof
[(((triple5 ((triple2 triple3) -> rule1)) -> rule5))]
("Alan" "is" "big" "+")
((triple5 ((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not big.
False
5
inv-proof
[(((triple5 ((triple2 triple3) -> rule1)) -> rule5))]
("Alan" "is" "big" "-")
((triple5 ((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
True
9
proof
[(((((triple2 triple3) -> rule1) ((triple5 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4))]
("Alan" "is" "young" "+")
((((triple2 triple3) -> (rule1 % int3)) ((triple5 ((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not young.
False
9
inv-proof
[(((((triple2 triple3) -> rule1) ((triple5 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4))]
("Alan" "is" "young" "-")
((((triple2 triple3) -> (rule1 % int3)) ((triple5 ((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "blue" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Harry" "is" "young" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "big" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is green.[(triple5)] Alan is nice.[(triple4 OR ((((triple5 ((triple2 triple3) -> rule1)) -> rule5) ((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1) ((triple5 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4)) -> rule3))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Gary is big.[(triple9)] Gary is green.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is red.[(triple10)] @1: Alan is kind.[(((triple2 triple3) -> rule1))] @2: Alan is big.[(((triple5 ((triple2 triple3) -> rule1)) -> rule5))] @3: Alan is young.[(((((triple2 triple3) -> rule1) ((triple5 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple5
Alan is nice.
("Alan" "is" "nice" "+")
triple4
((((triple5 ((triple2 triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule1 % int4)) ((((triple2 triple3) -> (rule1 % int4)) ((triple5 ((triple2 triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple3) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple5 ((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple2 triple3) -> (rule1 % int3)) ((triple5 ((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan has rough skin that is tinged with both red and green; He has a round shape and is nice to everyone he meets.
Gary is big and round for being so young; He ate some spoiled food that has him feeling green.
This Harry guy is red; He is also kind and yet cold.
Whoever is rough and red must be kind.
Young people who wear red lipstick are certainly kind.
You can tell if someone is big, kind, and young, then they are also nice.
A kind person who is big in size is definitely young.
A person who is green and kind is usually rather big.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.