Alan is young and kind.  But he plays really rough with his friends. Charlie is very nice to people, but he's also rather big. Dave ate some rotten meat and now feels green. You should meet Fred, he is big and rough on the football field but also very young in age. Young and rough people tend to be green too. Any green person is a round person. If a red and blue person is also kind to people that means they are rough as well. If someone is colored red but is cold, they tend to show a lot of green. Young, round people seem to be big in our experience.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Dave is not green.
False
1
inv-proof
[(triple6)]
("Dave" "is" "green" "-")
triple6
Fred is green.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Fred" "is" "green" "+")
((triple7 triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Fred" "is" "green" "-")
((triple7 triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is round.
True
4
proof
[(((((triple1 triple2) -> rule1)) -> rule2))]
("Alan" "is" "round" "+")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not round.
False
4
inv-proof
[(((((triple1 triple2) -> rule1)) -> rule2))]
("Alan" "is" "round" "-")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is big.
True
6
proof
[(((triple1 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule5))]
("Alan" "is" "big" "+")
((triple1 ((((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not big.
False
6
inv-proof
[(((triple1 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule5))]
("Alan" "is" "big" "-")
((triple1 ((((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "big" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple5)] Charlie is nice.[(triple4)] Dave is green.[(triple6)] Fred is big.[(triple9 OR ((triple7 ((((triple7 triple8) -> rule1)) -> rule2)) -> rule5))] Fred is rough.[(triple8)] Fred is young.[(triple7)] @1: Alan is green.[(((triple1 triple2) -> rule1))] Dave is round.[(((triple6) -> rule2))] Fred is green.[(((triple7 triple8) -> rule1))] @2: Alan is round.[(((((triple1 triple2) -> rule1)) -> rule2))] Fred is round.[(((((triple7 triple8) -> rule1)) -> rule2))] @3: Alan is big.[(((triple1 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple9
((triple7 ((((triple7 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Alan is green.
("Alan" "is" "green" "+")
((triple1 triple2) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((triple1 ((((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is young and kind; But he plays really rough with his friends.
Charlie is very nice to people, but he's also rather big.
Dave ate some rotten meat and now feels green.
You should meet Fred, he is big and rough on the football field but also very young in age.
Young and rough people tend to be green too.
Any green person is a round person.
If a red and blue person is also kind to people that means they are rough as well.
If someone is colored red but is cold, they tend to show a lot of green.
Young, round people seem to be big in our experience.