Alan is a person both green and big. Eric's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Fred wears all blue. Gary, like all young people, is nice. A person who's big and kind will also be cold. Young, green round people are big. A human that's cold also means they are a human that is young. If you are green you are also kind. Kind people who are nice find that they must also be rough.
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Alan is green.
True
1
proof
[(triple1)]
("Alan" "is" "green" "+")
triple1
Eric is not blue.
False
1
inv-proof
[(triple5)]
("Eric" "is" "blue" "-")
triple5
Alan is kind.
True
2
proof
[(((triple1) -> rule4))]
("Alan" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
2
inv-proof
[(((triple1) -> rule4))]
("Alan" "is" "kind" "-")
((triple1) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Eric is rough.
True
4
proof
[(((((triple4) -> rule4) triple3) -> rule5))]
("Eric" "is" "rough" "+")
((((triple4) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Alan is not cold.
False
4
inv-proof
[(((triple2 ((triple1) -> rule4)) -> rule1))]
("Alan" "is" "cold" "-")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
True
5
proof
[(((((triple2 ((triple1) -> rule4)) -> rule1)) -> rule3))]
("Alan" "is" "young" "+")
((((triple2 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not young.
False
5
inv-proof
[(((((triple2 ((triple1) -> rule4)) -> rule1)) -> rule3))]
("Alan" "is" "young" "-")
((((triple2 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "kind" "+")
Eric is not young.
Unknown
inv-rconc
[@3: Eric is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("Eric" "is" "young" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Eric is blue.[(triple5)] Eric is green.[(triple4)] Eric is nice.[(triple3)] Fred is blue.[(triple6)] Gary is nice.[(triple8)] Gary is young.[(triple7)] @1: Alan is kind.[(((triple1) -> rule4))] Eric is kind.[(((triple4) -> rule4))] @2: Alan is cold.[(((triple2 ((triple1) -> rule4)) -> rule1))] Eric is rough.[(((((triple4) -> rule4) triple3) -> rule5))] @3: Alan is young.[(((((triple2 ((triple1) -> rule4)) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Alan is kind.
("Alan" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple4) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple4) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple2 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is a person both green and big.
Eric's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Fred wears all blue.
Gary, like all young people, is nice.
A person who's big and kind will also be cold.
Young, green round people are big.
A human that's cold also means they are a human that is young.
If you are green you are also kind.
Kind people who are nice find that they must also be rough.