Charlie is a person both green and big. Dave ate some rotten meat and now feels green. Eric is a big person who is kind to all.  He is red and blue. I was surprised at how green and blue young, round Fred is. Young and rough people tend to be green too. If a red and blue person is also kind to people that means they are rough as well. Nice, green people that are somewhat round are big through the shoulders. A big rough person are also young of age. If you're cold and red then you're nice.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
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 green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Fred is green.
True
1
proof
[(triple10)]
("Fred" "is" "green" "+")
triple10
Eric is not red.
False
1
inv-proof
[(triple4)]
("Eric" "is" "red" "-")
triple4
Eric is rough.
True
4
proof
[(((triple4 triple6 triple5) -> rule2))]
("Eric" "is" "rough" "+")
((triple4 triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
4
inv-proof
[(((triple4 triple6 triple5) -> rule2))]
("Eric" "is" "rough" "-")
((triple4 triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
True
6
proof
[(((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule4))]
("Eric" "is" "young" "+")
((triple7 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule4))]
("Eric" "is" "young" "-")
((triple7 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is green.
True
11
proof
[(((((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule1))]
("Eric" "is" "green" "+")
((((triple7 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not green.
False
11
inv-proof
[(((((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule1))]
("Eric" "is" "green" "-")
((((triple7 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Charlie is big.[(triple2)] Charlie is green.[(triple1)] Dave is green.[(triple3)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Eric is red.[(triple4)] Fred is blue.[(triple11)] Fred is green.[(triple10)] Fred is round.[(triple9)] Fred is young.[(triple8)] @1: Eric is rough.[(((triple4 triple6 triple5) -> rule2))] @2: Eric is young.[(((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule4))] @3: Eric is green.[(((((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
((triple4 triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple7 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple7 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie is a person both green and big.
Dave ate some rotten meat and now feels green.
Eric is a big person who is kind to all; He is red and blue.
I was surprised at how green and blue young, round Fred is.
Young and rough people tend to be green too.
If a red and blue person is also kind to people that means they are rough as well.
Nice, green people that are somewhat round are big through the shoulders.
A big rough person are also young of age.
If you're cold and red then you're nice.