Charlie, like all young people, is nice. Eric is very nice to people, but he's also rather big. Fred's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Gary's a young guy. He's a cold, blue and big guy, too. A big person who feels cold and has blue skin is a nice person. A kind and nice person who is looking green is often red. A person that is rough and round shaped features are going to be red. Anyone who is big and cold and also kind is definitely red on top if it. Big people that tend to be nice and blue, may also be a little rough to others. A big, blue and cold person will also be a round person.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold and kind then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fred is green.
True
1
proof
[(triple6)]
("Fred" "is" "green" "+")
triple6
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Gary is nice.
True
4
proof
[(((triple9 triple10 triple11) -> rule1))]
("Gary" "is" "nice" "+")
((triple9 triple10 triple11) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not round.
False
4
inv-proof
[(((triple11 triple9 triple10) -> rule6))]
("Gary" "is" "round" "-")
((triple11 triple9 triple10) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
True
7
proof
[(((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5))]
("Gary" "is" "rough" "+")
((triple11 ((triple9 triple10 triple11) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not rough.
False
7
inv-proof
[(((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5))]
("Gary" "is" "rough" "-")
((triple11 ((triple9 triple10 triple11) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
True
12
proof
[(((((triple11 triple9 triple10) -> rule6) ((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5)) -> rule3))]
("Gary" "is" "red" "+")
((((triple11 triple9 triple10) -> (rule6 % int4)) ((triple11 ((triple9 triple10 triple11) -> (rule1 % int3)) triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not red.
False
12
inv-proof
[(((((triple11 triple9 triple10) -> rule6) ((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5)) -> rule3))]
("Gary" "is" "red" "-")
((((triple11 triple9 triple10) -> (rule6 % int4)) ((triple11 ((triple9 triple10 triple11) -> (rule1 % int3)) triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "red" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Charlie" "is" "red" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple4)] Eric is nice.[(triple3)] Fred is blue.[(triple7)] Fred is green.[(triple6)] Fred is nice.[(triple5)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is young.[(triple8)] @1: Gary is nice.[(((triple9 triple10 triple11) -> rule1))] Gary is round.[(((triple11 triple9 triple10) -> rule6))] @2: Gary is rough.[(((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5))] @3: Gary is red.[(((((triple11 triple9 triple10) -> rule6) ((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5)) -> rule3))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 triple10 triple11) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple11 triple9 triple10) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11 ((triple9 triple10 triple11) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple11 triple9 triple10) -> (rule6 % int4)) ((triple11 ((triple9 triple10 triple11) -> (rule1 % int3)) triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Charlie, like all young people, is nice.
Eric is very nice to people, but he's also rather big.
Fred's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Gary's a young guy; He's a cold, blue and big guy, too.
A big person who feels cold and has blue skin is a nice person.
A kind and nice person who is looking green is often red.
A person that is rough and round shaped features are going to be red.
Anyone who is big and cold and also kind is definitely red on top if it.
Big people that tend to be nice and blue, may also be a little rough to others.
A big, blue and cold person will also be a round person.