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. Charlie is a man who is both round and rough. They always call him rough Fred. Being a kind person even when you are blue is hard, but it means you are round with delight. Soon you will understand that big people are nice. Any person who is blue and round, if they are kind at the same time, will be young. If red and slightly green people are asked, they will tell you they feel blue. Young,cold and blue people are mostly round. A blue individual that is kind and nice to others also has a rough appearance.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Alan is blue.
True
3
proof
[(((triple4 triple2) -> rule4))]
("Alan" "is" "blue" "+")
((triple4 triple2) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple4 triple2) -> rule4))]
("Alan" "is" "blue" "-")
((triple4 triple2) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
True
5
proof
[(((((triple4 triple2) -> rule4) triple3) -> rule1))]
("Alan" "is" "round" "+")
((((triple4 triple2) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not round.
False
5
inv-proof
[(((((triple4 triple2) -> rule4) triple3) -> rule1))]
("Alan" "is" "round" "-")
((((triple4 triple2) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
True
10
proof
[(((((triple4 triple2) -> rule4) ((((triple4 triple2) -> rule4) triple3) -> rule1) triple3) -> rule3))]
("Alan" "is" "young" "+")
((((triple4 triple2) -> (rule4 % int3)) ((((triple4 triple2) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not young.
False
10
inv-proof
[(((((triple4 triple2) -> rule4) ((((triple4 triple2) -> rule4) triple3) -> rule1) triple3) -> rule3))]
("Alan" "is" "young" "-")
((((triple4 triple2) -> (rule4 % int3)) ((((triple4 triple2) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Fred is rough.[(triple7)] @1: Alan is blue.[(((triple4 triple2) -> rule4))] @2: Alan is round.[(((((triple4 triple2) -> rule4) triple3) -> rule1))] @3: Alan is young.[(((((triple4 triple2) -> rule4) ((((triple4 triple2) -> rule4) triple3) -> rule1) triple3) -> rule3))]
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
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 triple2) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple4 triple2) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple4 triple2) -> (rule4 % int3)) ((((triple4 triple2) -> (rule4 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
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.
Charlie is a man who is both round and rough.
They always call him rough Fred.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Soon you will understand that big people are nice.
Any person who is blue and round, if they are kind at the same time, will be young.
If red and slightly green people are asked, they will tell you they feel blue.
Young,cold and blue people are mostly round.
A blue individual that is kind and nice to others also has a rough appearance.