The diving trip left Alan red and green all over, yet he remains the nice (though rather rough) guy he always has been. Big, round Charlie is liked by everyone one.  He is easily recognized with his red and green skin. Dave was feeling red with anger after the fight, but he was still a nice but big human being. Green people with red round cheeks are young. Don't be surprised to hear that all nice, kind folks are in fact rough. Blue people who are kind and nice are actually quite rough. Round, young folks tend to feel blue. They found the ones that were round, blue, and green to be nice. If a person has round shape then they are also green and red. Anyone you know who is cold and kind must certainly be young.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
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 red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Alan is nice.
True
1
proof
[(triple3)]
("Alan" "is" "nice" "+")
triple3
Charlie is not red.
False
1
inv-proof
[(triple6 OR ((triple7 triple5) -> rule6))]
("Charlie" "is" "red" "-")
triple6
((triple7 triple5) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
True
4
proof
[(((triple6 triple7 triple5) -> rule1) OR ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1))]
("Charlie" "is" "young" "+")
((triple6 triple7 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple7 triple5) -> (rule6 % int2)) triple7 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not young.
False
4
inv-proof
[(((triple6 triple7 triple5) -> rule1) OR ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1))]
("Charlie" "is" "young" "-")
((triple6 triple7 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple7 triple5) -> (rule6 % int2)) triple7 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
True
6
proof
[(((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) OR ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4))]
("Charlie" "is" "blue" "+")
((triple5 ((triple6 triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple5 ((((triple7 triple5) -> (rule6 % int3)) triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not blue.
False
6
inv-proof
[(((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) OR ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4))]
("Charlie" "is" "blue" "-")
((triple5 ((triple6 triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple5 ((((triple7 triple5) -> (rule6 % int3)) triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is nice.
True
9
proof
[(((triple5 ((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5) OR ((triple5 ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5))]
("Charlie" "is" "nice" "+")
((triple5 ((triple5 ((triple6 triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple5 ((triple5 ((((triple7 triple5) -> (rule6 % int4)) triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not nice.
False
9
inv-proof
[(((triple5 ((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5) OR ((triple5 ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5))]
("Charlie" "is" "nice" "-")
((triple5 ((triple5 ((triple6 triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple5 ((triple5 ((((triple7 triple5) -> (rule6 % int4)) triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple8)] Charlie is green.[(triple7)] Charlie is red.[(triple6 OR ((triple7 triple5) -> rule6))] Charlie is round.[(triple5)] Dave is big.[(triple11)] Dave is nice.[(triple10)] Dave is red.[(triple9)] @1: Charlie is young.[(((triple6 triple7 triple5) -> rule1) OR ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1))] @2: Charlie is blue.[(((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) OR ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4))] @3: Charlie is nice.[(((triple5 ((triple5 ((triple6 triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5) OR ((triple5 ((triple5 ((((triple7 triple5) -> rule6) triple7 triple5) -> rule1)) -> rule4) triple7) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
((triple7 triple5) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple11
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
((triple6 triple7 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple7 triple5) -> (rule6 % int2)) triple7 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 ((triple6 triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple5 ((((triple7 triple5) -> (rule6 % int3)) triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 ((triple5 ((triple6 triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple5 ((triple5 ((((triple7 triple5) -> (rule6 % int4)) triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
The diving trip left Alan red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Big, round Charlie is liked by everyone one; He is easily recognized with his red and green skin.
Dave was feeling red with anger after the fight, but he was still a nice but big human being.
Green people with red round cheeks are young.
Don't be surprised to hear that all nice, kind folks are in fact rough.
Blue people who are kind and nice are actually quite rough.
Round, young folks tend to feel blue.
They found the ones that were round, blue, and green to be nice.
If a person has round shape then they are also green and red.
Anyone you know who is cold and kind must certainly be young.