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.
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.