To be young and red like Alan is pretty nice, which Green Alan is also. Charlie happens to be nice and green even though he is big and cold. Big, red Eric is quite kind. They always call him rough Fred. His cheeks were red from the cold, and his big blue eye were watering. 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. People who are rough and green with envy are young. Nice people who have red cold skin are round. Nice people who are big are always feeling blue. A round shaped and red person is definitely nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
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 rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Alan is nice.
True
1
proof
[(triple3)]
("Alan" "is" "nice" "+")
triple3
Fred is not rough.
False
1
inv-proof
[(triple12)]
("Fred" "is" "rough" "-")
triple12
Charlie is blue.
True
3
proof
[(((triple5 triple8) -> rule5))]
("Charlie" "is" "blue" "+")
((triple5 triple8) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple5 triple8) -> rule5))]
("Charlie" "is" "blue" "-")
((triple5 triple8) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
True
6
proof
[(((((triple5 triple8) -> rule5) triple5 triple6) -> rule2))]
("Charlie" "is" "red" "+")
((((triple5 triple8) -> (rule5 % int2)) triple5 triple6) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((((triple5 triple8) -> rule5) triple5 triple6) -> rule2))]
("Charlie" "is" "red" "-")
((((triple5 triple8) -> (rule5 % int2)) triple5 triple6) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
True
9
proof
[(((((((triple5 triple8) -> rule5) triple5 triple6) -> rule2) triple5 triple7) -> rule4))]
("Charlie" "is" "round" "+")
((((((triple5 triple8) -> (rule5 % int3)) triple5 triple6) -> (rule2 % int2)) triple5 triple7) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not round.
False
9
inv-proof
[(((((((triple5 triple8) -> rule5) triple5 triple6) -> rule2) triple5 triple7) -> rule4))]
("Charlie" "is" "round" "-")
((((((triple5 triple8) -> (rule5 % int3)) triple5 triple6) -> (rule2 % int2)) triple5 triple7) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
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 nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Eric is big.[(triple11)] Eric is kind.[(triple10)] Eric is red.[(triple9)] Fred is rough.[(triple12)] @1: Charlie is blue.[(((triple5 triple8) -> rule5))] @2: Charlie is red.[(((((triple5 triple8) -> rule5) triple5 triple6) -> rule2))] @3: Charlie is round.[(((((((triple5 triple8) -> rule5) triple5 triple6) -> rule2) triple5 triple7) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 triple8) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple5 triple8) -> (rule5 % int2)) triple5 triple6) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple5 triple8) -> (rule5 % int3)) triple5 triple6) -> (rule2 % int2)) triple5 triple7) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
To be young and red like Alan is pretty nice, which Green Alan is also.
Charlie happens to be nice and green even though he is big and cold.
Big, red Eric is quite kind.
They always call him rough Fred.
His cheeks were red from the cold, and his big blue eye were watering.
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.
People who are rough and green with envy are young.
Nice people who have red cold skin are round.
Nice people who are big are always feeling blue.
A round shaped and red person is definitely nice.