Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Bob is round shaped and green colored. To the touch Charlie has rough, cold skin. All people that are rough and cold, as well as nice will be kind if you talk to them. It seems to be that a person who is green, red, and blue will be very big. Often, when you meet a rough person with red skin, you'll see that they are young too. A big and rough person can be misleading because they are cold and blue as well. Someone blue and red is definitely round and dressed as a clown. Unfortunately, all the young people who are considered green are all round. A kind person who look green and is round in shape is usually big in stature.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Charlie is not cold.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "cold" "-")
triple8
Alan is young.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "young" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "young" "-")
((triple1 triple2) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
True
5
proof
[(((triple4 ((triple1 triple2) -> rule3)) -> rule6))]
("Alan" "is" "round" "+")
((triple4 ((triple1 triple2) -> (rule3 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not round.
False
5
inv-proof
[(((triple4 ((triple1 triple2) -> rule3)) -> rule6))]
("Alan" "is" "round" "-")
((triple4 ((triple1 triple2) -> (rule3 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
True
8
proof
[(((((triple4 ((triple1 triple2) -> rule3)) -> rule6) triple3 triple4) -> rule7))]
("Alan" "is" "big" "+")
((((triple4 ((triple1 triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3 triple4) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not big.
False
8
inv-proof
[(((((triple4 ((triple1 triple2) -> rule3)) -> rule6) triple3 triple4) -> rule7))]
("Alan" "is" "big" "-")
((((triple4 ((triple1 triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3 triple4) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple6)] Bob is round.[(triple5)] Charlie is cold.[(triple8)] Charlie is rough.[(triple7)] @1: Alan is young.[(((triple1 triple2) -> rule3))] @2: Alan is round.[(((triple4 ((triple1 triple2) -> rule3)) -> rule6))] @3: Alan is big.[(((((triple4 ((triple1 triple2) -> rule3)) -> rule6) triple3 triple4) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Alan is young.
("Alan" "is" "young" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple4 ((triple1 triple2) -> (rule3 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple4 ((triple1 triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple3 triple4) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
Bob is round shaped and green colored.
To the touch Charlie has rough, cold skin.
All people that are rough and cold, as well as nice will be kind if you talk to them.
It seems to be that a person who is green, red, and blue will be very big.
Often, when you meet a rough person with red skin, you'll see that they are young too.
A big and rough person can be misleading because they are cold and blue as well.
Someone blue and red is definitely round and dressed as a clown.
Unfortunately, all the young people who are considered green are all round.
A kind person who look green and is round in shape is usually big in stature.