The diving trip left Alan red and green all over, yet he remains the nice (though rather rough) guy he always has been. Nice, but round, Dave has been said to be cold. Young Gary is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. Anyone who manages to be round, blue, and green must be pretty big. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Anyone that is a red, nice soul will be big, too. Kind, rough people who are nice are also cold. A green colored person will be young and also kind. Young cold individuals are usualyy rough. Whenever you see Pete you run into a young man rough, which means he will be nice.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple6)]
("Dave" "is" "nice" "+")
triple6
Gary is not cold.
False
1
inv-proof
[(triple11)]
("Gary" "is" "cold" "-")
triple11
Alan is big.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "big" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple8 triple11) -> rule6))]
("Gary" "is" "rough" "-")
((triple8 triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
True
5
proof
[(((triple8 ((triple8 triple11) -> rule6)) -> rule7))]
("Gary" "is" "nice" "+")
((triple8 ((triple8 triple11) -> (rule6 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((triple8 ((triple8 triple11) -> rule6)) -> rule7))]
("Gary" "is" "nice" "-")
((triple8 ((triple8 triple11) -> (rule6 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
True
7
proof
[(((triple9 ((triple8 ((triple8 triple11) -> rule6)) -> rule7)) -> rule3))]
("Gary" "is" "big" "+")
((triple9 ((triple8 ((triple8 triple11) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not big.
False
7
inv-proof
[(((triple9 ((triple8 ((triple8 triple11) -> rule6)) -> rule7)) -> rule3))]
("Gary" "is" "big" "-")
((triple9 ((triple8 ((triple8 triple11) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Dave is round.[(triple5)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Alan is big.[(((triple2 triple3) -> rule3))] Gary is rough.[(((triple8 triple11) -> rule6))] @2: Gary is nice.[(((triple8 ((triple8 triple11) -> rule6)) -> rule7))] @3: Gary is big.[(((triple9 ((triple8 ((triple8 triple11) -> rule6)) -> rule7)) -> rule3))]
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
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple8 triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 ((triple8 triple11) -> (rule6 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple9 ((triple8 ((triple8 triple11) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
The diving trip left Alan red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Nice, but round, Dave has been said to be cold.
Young Gary is red from staying in the sun too long; Even though he is uncomfortable from feeling cold, he is still kind to others.
Anyone who manages to be round, blue, and green must be pretty big.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
Anyone that is a red, nice soul will be big, too.
Kind, rough people who are nice are also cold.
A green colored person will be young and also kind.
Young cold individuals are usualyy rough.
Whenever you see Pete you run into a young man rough, which means he will be nice.