Charlie is young and kind.  But he plays really rough with his friends. Fred is a man who is both round and rough. My friend Gary is very young. People say he is nice for having a round shape. Harry wears all blue. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. Blue people who are kind and nice are actually quite rough. Young, round people seem to be big in our experience. If a person is young and very kind then they will be rather big. Being green and rough are signs that someone is big. Big kind people are usually cold.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple6)]
("Gary" "is" "young" "+")
triple6
Fred is not round.
False
1
inv-proof
[(triple4)]
("Fred" "is" "round" "-")
triple4
Charlie is big.
True
3
proof
[(((triple1 triple3) -> rule4))]
("Charlie" "is" "big" "+")
((triple1 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple1 triple3) -> rule4))]
("Charlie" "is" "big" "-")
((triple1 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
True
5
proof
[(((triple3 ((triple1 triple3) -> rule4)) -> rule6))]
("Charlie" "is" "cold" "+")
((triple3 ((triple1 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((triple3 ((triple1 triple3) -> rule4)) -> rule6))]
("Charlie" "is" "cold" "-")
((triple3 ((triple1 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Gary is cold.
True
10
proof
[(((((triple6 ((triple6 triple7) -> rule3) triple8) -> rule1) ((triple6 triple7) -> rule3)) -> rule6))]
("Gary" "is" "cold" "+")
((((triple6 ((triple6 triple7) -> (rule3 % int3)) triple8) -> (rule1 % int2)) ((triple6 triple7) -> (rule3 % int3))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not cold.
False
10
inv-proof
[(((((triple6 ((triple6 triple7) -> rule3) triple8) -> rule1) ((triple6 triple7) -> rule3)) -> rule6))]
("Gary" "is" "cold" "-")
((((triple6 ((triple6 triple7) -> (rule3 % int3)) triple8) -> (rule1 % int2)) ((triple6 triple7) -> (rule3 % int3))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is kind.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] Harry is blue.[(triple9)] @1: Charlie is big.[(((triple1 triple3) -> rule4))] Gary is big.[(((triple6 triple7) -> rule3))] @2: Charlie is cold.[(((triple3 ((triple1 triple3) -> rule4)) -> rule6))] Gary is kind.[(((triple6 ((triple6 triple7) -> rule3) triple8) -> rule1))] @3: Gary is cold.[(((((triple6 ((triple6 triple7) -> rule3) triple8) -> rule1) ((triple6 triple7) -> rule3)) -> rule6))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
((triple1 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple6 triple7) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 ((triple1 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple6 ((triple6 triple7) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple6 ((triple6 triple7) -> (rule3 % int3)) triple8) -> (rule1 % int2)) ((triple6 triple7) -> (rule3 % int3))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is young and kind; But he plays really rough with his friends.
Fred is a man who is both round and rough.
My friend Gary is very young; People say he is nice for having a round shape.
Harry wears all blue.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
Blue people who are kind and nice are actually quite rough.
Young, round people seem to be big in our experience.
If a person is young and very kind then they will be rather big.
Being green and rough are signs that someone is big.
Big kind people are usually cold.