Alan wears all blue. Big Charlie is very nice. Though he is rough and cold he is green and still learning. Gary is young and kind.  But he plays really rough with his friends. Harry is so big, he is often blue, but always kind. A kind and big person is young. You will find that a big, young, blue person is also quite round. A round shaped and young aged person will be very cold. A big person in size will definitely be rough. Young people tend to be blue all the time and rough. Rough folks with green and red coloration tend to feel cold no matter what.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple6)]
("Charlie" "is" "big" "+")
triple6
Gary is not rough.
False
1
inv-proof
[(triple8)]
("Gary" "is" "rough" "-")
triple8
Harry is rough.
True
2
proof
[(((triple12) -> rule4) OR ((triple11 ((triple12 triple10) -> rule1)) -> rule5))]
("Harry" "is" "rough" "+")
((triple12) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple11 ((triple12 triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not young.
False
3
inv-proof
[(((triple12 triple10) -> rule1))]
("Harry" "is" "young" "-")
((triple12 triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
True
6
proof
[(((((triple12 triple10) -> rule1) triple12 triple11) -> rule2))]
("Harry" "is" "round" "+")
((((triple12 triple10) -> (rule1 % int2)) triple12 triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not round.
False
6
inv-proof
[(((((triple12 triple10) -> rule1) triple12 triple11) -> rule2))]
("Harry" "is" "round" "-")
((((triple12 triple10) -> (rule1 % int2)) triple12 triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
True
10
proof
[(((((((triple12 triple10) -> rule1) triple12 triple11) -> rule2) ((triple12 triple10) -> rule1)) -> rule3))]
("Harry" "is" "cold" "+")
((((((triple12 triple10) -> (rule1 % int3)) triple12 triple11) -> (rule2 % int2)) ((triple12 triple10) -> (rule1 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not cold.
False
10
inv-proof
[(((((((triple12 triple10) -> rule1) triple12 triple11) -> rule2) ((triple12 triple10) -> rule1)) -> rule3))]
("Harry" "is" "cold" "-")
((((((triple12 triple10) -> (rule1 % int3)) triple12 triple11) -> (rule2 % int2)) ((triple12 triple10) -> (rule1 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Alan" "is" "cold" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is blue.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2 OR ((triple6) -> rule4))] Gary is kind.[(triple9)] Gary is rough.[(triple8)] Gary is young.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] @1: Harry is rough.[(((triple12) -> rule4) OR ((triple11 ((triple12 triple10) -> rule1)) -> rule5))] Harry is young.[(((triple12 triple10) -> rule1))] @2: Harry is round.[(((((triple12 triple10) -> rule1) triple12 triple11) -> rule2))] @3: Harry is cold.[(((((((triple12 triple10) -> rule1) triple12 triple11) -> rule2) ((triple12 triple10) -> rule1)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
((triple12) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple11 ((triple12 triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple12 triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple12 triple10) -> (rule1 % int2)) triple12 triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple12 triple10) -> (rule1 % int3)) triple12 triple11) -> (rule2 % int2)) ((triple12 triple10) -> (rule1 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan wears all blue.
Big Charlie is very nice; Though he is rough and cold he is green and still learning.
Gary is young and kind; But he plays really rough with his friends.
Harry is so big, he is often blue, but always kind.
A kind and big person is young.
You will find that a big, young, blue person is also quite round.
A round shaped and young aged person will be very cold.
A big person in size will definitely be rough.
Young people tend to be blue all the time and rough.
Rough folks with green and red coloration tend to feel cold no matter what.