Alan is a kind and red colored guy. Big, round Charlie is liked by everyone one.  He is easily recognized with his red and green skin. Dave feels nice and kind today, so he paints himself green and embraces his cold side. Dave is big enough to do whatever he wants. Eric wears all blue. Round, rough people blue with sadness turn out to be green. A big rough person are also young of age. If you are big and young then your are also nice. An individual with green, blue and big characteristics will also be rough. A person who is red and green, will also tend to be round shaped and rough.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple9)]
("Dave" "is" "green" "+")
triple9
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Charlie is rough.
True
4
proof
[(((triple3 triple5 triple4) -> rule5))]
("Charlie" "is" "rough" "+")
((triple3 triple5 triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple3 triple5 triple4) -> rule5))]
("Charlie" "is" "rough" "-")
((triple3 triple5 triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
True
6
proof
[(((triple6 ((triple3 triple5 triple4) -> rule5)) -> rule2))]
("Charlie" "is" "young" "+")
((triple6 ((triple3 triple5 triple4) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((triple6 ((triple3 triple5 triple4) -> rule5)) -> rule2))]
("Charlie" "is" "young" "-")
((triple6 ((triple3 triple5 triple4) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
True
8
proof
[(((triple6 ((triple6 ((triple3 triple5 triple4) -> rule5)) -> rule2)) -> rule3))]
("Charlie" "is" "nice" "+")
((triple6 ((triple6 ((triple3 triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not nice.
False
8
inv-proof
[(((triple6 ((triple6 ((triple3 triple5 triple4) -> rule5)) -> rule2)) -> rule3))]
("Charlie" "is" "nice" "-")
((triple6 ((triple6 ((triple3 triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is red.[(triple4)] Charlie is round.[(triple3)] Dave is big.[(triple11)] Dave is cold.[(triple10)] Dave is green.[(triple9)] Dave is kind.[(triple8)] Dave is nice.[(triple7)] Eric is blue.[(triple12)] @1: Charlie is rough.[(((triple3 triple5 triple4) -> rule5))] @2: Charlie is young.[(((triple6 ((triple3 triple5 triple4) -> rule5)) -> rule2))] @3: Charlie is nice.[(((triple6 ((triple6 ((triple3 triple5 triple4) -> rule5)) -> rule2)) -> rule3))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple12
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 triple5 triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple6 ((triple3 triple5 triple4) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 ((triple6 ((triple3 triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan is a kind and red colored guy.
Big, round Charlie is liked by everyone one; He is easily recognized with his red and green skin.
Dave feels nice and kind today, so he paints himself green and embraces his cold side; Dave is big enough to do whatever he wants.
Eric wears all blue.
Round, rough people blue with sadness turn out to be green.
A big rough person are also young of age.
If you are big and young then your are also nice.
An individual with green, blue and big characteristics will also be rough.
A person who is red and green, will also tend to be round shaped and rough.