Alan was born only a few years ago so he is young. Red Charlie is what folks call him, because he is quite red. Eric's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Gary has a round face and is very nice. Blue Christmas ornaments are also red. Big, young people feel cold all the time. Anyone that is nice and kind and also green will usually be young as well. A big person with cold, rough skin is going to be green as well. Red people who are green and blue are always kind.
Alan is young.
("Alan" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Eric is not nice.
False
1
inv-proof
[(triple3)]
("Eric" "is" "nice" "-")
triple3
Eric is red.
True
2
proof
[(((triple5) -> rule1))]
("Eric" "is" "red" "+")
((triple5) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("Eric" "is" "red" "-")
((triple5) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
True
5
proof
[(((((triple5) -> rule1) triple5 triple4) -> rule5))]
("Eric" "is" "kind" "+")
((((triple5) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((((triple5) -> rule1) triple5 triple4) -> rule5))]
("Eric" "is" "kind" "-")
((((triple5) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
True
8
proof
[(((triple4 triple3 ((((triple5) -> rule1) triple5 triple4) -> rule5)) -> rule3))]
("Eric" "is" "young" "+")
((triple4 triple3 ((((triple5) -> (rule1 % int3)) triple5 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not young.
False
8
inv-proof
[(((triple4 triple3 ((((triple5) -> rule1) triple5 triple4) -> rule5)) -> rule3))]
("Eric" "is" "young" "-")
((triple4 triple3 ((((triple5) -> (rule1 % int3)) triple5 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is young.[(triple1)] Charlie is red.[(triple2)] Eric is blue.[(triple5)] Eric is green.[(triple4)] Eric is nice.[(triple3)] Gary is nice.[(triple7)] Gary is round.[(triple6)] @1: Eric is red.[(((triple5) -> rule1))] @2: Eric is kind.[(((((triple5) -> rule1) triple5 triple4) -> rule5))] @3: Eric is young.[(((triple4 triple3 ((((triple5) -> rule1) triple5 triple4) -> rule5)) -> rule3))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
((triple5) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple5) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple4 triple3 ((((triple5) -> (rule1 % int3)) triple5 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan was born only a few years ago so he is young.
Red Charlie is what folks call him, because he is quite red.
Eric's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Gary has a round face and is very nice.
Blue Christmas ornaments are also red.
Big, young people feel cold all the time.
Anyone that is nice and kind and also green will usually be young as well.
A big person with cold, rough skin is going to be green as well.
Red people who are green and blue are always kind.