They always call him rough Charlie. Eric is young and big in stature.  He is cold but nice. In the snow sits Fred, crying from being cold. Gary is rough and is blue, but that's because he's big and round in a small and square world. A person who is described as round and rough is usually kind. A person that is nice and young is also going to be a person that is rough. People with big hands and red, rough skin are terribly kind. A rough person who is young and nice is also red. Find someone big, blue, and kind, and you'll see they are also quite young. Nice, kind people who look rough almost always feel cold.
Charlie is rough.
("Charlie" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Fred is cold.
True
1
proof
[(triple6)]
("Fred" "is" "cold" "+")
triple6
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Gary is kind.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Gary" "is" "kind" "+")
((triple7 triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Eric" "is" "rough" "-")
((triple3 triple2) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
True
6
proof
[(((triple2 triple3 ((triple3 triple2) -> rule2)) -> rule4))]
("Eric" "is" "red" "+")
((triple2 triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Gary is not young.
False
6
inv-proof
[(((triple10 triple9 ((triple7 triple8) -> rule1)) -> rule5))]
("Gary" "is" "young" "-")
((triple10 triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Eric is kind.
True
11
proof
[(((((triple3 triple2) -> rule2) triple5 ((triple2 triple3 ((triple3 triple2) -> rule2)) -> rule4)) -> rule3))]
("Eric" "is" "kind" "+")
((((triple3 triple2) -> (rule2 % int3)) triple5 ((triple2 triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not kind.
False
11
inv-proof
[(((((triple3 triple2) -> rule2) triple5 ((triple2 triple3 ((triple3 triple2) -> rule2)) -> rule4)) -> rule3))]
("Eric" "is" "kind" "-")
((((triple3 triple2) -> (rule2 % int3)) triple5 ((triple2 triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is rough.[(triple1)] Eric is big.[(triple5)] Eric is cold.[(triple4 OR ((triple3 ((((triple3 triple2) -> rule2) triple5 ((triple2 triple3 ((triple3 triple2) -> rule2)) -> rule4)) -> rule3) ((triple3 triple2) -> rule2)) -> rule6))] Eric is nice.[(triple3)] Eric is young.[(triple2)] Fred is cold.[(triple6)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is rough.[(triple8)] Gary is round.[(triple7)] @1: Eric is rough.[(((triple3 triple2) -> rule2))] Gary is kind.[(((triple7 triple8) -> rule1))] @2: Eric is red.[(((triple2 triple3 ((triple3 triple2) -> rule2)) -> rule4))] Gary is young.[(((triple10 triple9 ((triple7 triple8) -> rule1)) -> rule5))] @3: Eric is kind.[(((((triple3 triple2) -> rule2) triple5 ((triple2 triple3 ((triple3 triple2) -> rule2)) -> rule4)) -> rule3))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
((triple3 ((((triple3 triple2) -> (rule2 % int4)) triple5 ((triple2 triple3 ((triple3 triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple3 triple2) -> (rule2 % int4))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
((triple3 triple2) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 triple8) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple2 triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple3 triple2) -> (rule2 % int3)) triple5 ((triple2 triple3 ((triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
They always call him rough Charlie.
Eric is young and big in stature; He is cold but nice.
In the snow sits Fred, crying from being cold.
Gary is rough and is blue, but that's because he's big and round in a small and square world.
A person who is described as round and rough is usually kind.
A person that is nice and young is also going to be a person that is rough.
People with big hands and red, rough skin are terribly kind.
A rough person who is young and nice is also red.
Find someone big, blue, and kind, and you'll see they are also quite young.
Nice, kind people who look rough almost always feel cold.