Alan is young and big in stature.  He is cold but nice. Charlie is red when he is rough and blue when he is kind. In the snow sits Gary, crying from being cold. When you see Harry, you will notice he is cold, big and kind. Maybe someone is rough and blue with the cold. I know anyone I meet who is big, nice, and round will be young. Someone who is colored green might feel blue, but if they are kind it means they will always be nice. A rough, big soul is sure to be nice, too. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years. Most kind and cold people are also big.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Alan is cold.
True
1
proof
[(triple3)]
("Alan" "is" "cold" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple10)]
("Harry" "is" "kind" "-")
triple10
Charlie is cold.
True
3
proof
[(((triple5 triple8) -> rule1))]
("Charlie" "is" "cold" "+")
((triple5 triple8) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple5 triple8) -> rule1))]
("Charlie" "is" "cold" "-")
((triple5 triple8) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
True
5
proof
[(((triple7 ((triple5 triple8) -> rule1)) -> rule6))]
("Charlie" "is" "big" "+")
((triple7 ((triple5 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not big.
False
5
inv-proof
[(((triple7 ((triple5 triple8) -> rule1)) -> rule6))]
("Charlie" "is" "big" "-")
((triple7 ((triple5 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
True
7
proof
[(((triple5 ((triple7 ((triple5 triple8) -> rule1)) -> rule6)) -> rule4))]
("Charlie" "is" "nice" "+")
((triple5 ((triple7 ((triple5 triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not nice.
False
7
inv-proof
[(((triple5 ((triple7 ((triple5 triple8) -> rule1)) -> rule6)) -> rule4))]
("Charlie" "is" "nice" "-")
((triple5 ((triple7 ((triple5 triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is rough.[(triple5)] Gary is cold.[(triple9)] Harry is big.[(triple12 OR ((triple10 triple11) -> rule6))] Harry is cold.[(triple11)] Harry is kind.[(triple10)] @1: Charlie is cold.[(((triple5 triple8) -> rule1))] @2: Charlie is big.[(((triple7 ((triple5 triple8) -> rule1)) -> rule6))] @3: Charlie is nice.[(((triple5 ((triple7 ((triple5 triple8) -> rule1)) -> rule6)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple12
((triple10 triple11) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 triple8) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple7 ((triple5 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 ((triple7 ((triple5 triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Alan is young and big in stature; He is cold but nice.
Charlie is red when he is rough and blue when he is kind.
In the snow sits Gary, crying from being cold.
When you see Harry, you will notice he is cold, big and kind.
Maybe someone is rough and blue with the cold.
I know anyone I meet who is big, nice, and round will be young.
Someone who is colored green might feel blue, but if they are kind it means they will always be nice.
A rough, big soul is sure to be nice, too.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
Most kind and cold people are also big.