Alan a big man for his young age. he has red hair and can be rough. Charlie is young and kind.  But he plays really rough with his friends. Even though Eric is big and round, he is cold much of the time. From a certain angle Fred is blue but he is young so maybe that will go away. If you see someone who is red and green they are round, like Santa Claus. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. Someone big and rough in shape is always kind. Show me someone who is cold and kind, and I'll show you how green they are. A person who is cold with a red nose will be feeling blue. People,though rough and red,tend to be cold too. People who are nice, big, and also rough, are considered red.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Eric is not cold.
False
1
inv-proof
[(triple9)]
("Eric" "is" "cold" "-")
triple9
Alan is kind.
True
3
proof
[(((triple4 triple2) -> rule3))]
("Alan" "is" "kind" "+")
((triple4 triple2) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule6))]
("Alan" "is" "cold" "-")
((triple2 triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
True
5
proof
[(((((triple2 triple3) -> rule6) triple3) -> rule5))]
("Alan" "is" "blue" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((((triple2 triple3) -> rule6) triple3) -> rule5))]
("Alan" "is" "blue" "-")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is round.
True
9
proof
[(((triple3 ((((triple2 triple3) -> rule6) ((triple4 triple2) -> rule3)) -> rule4)) -> rule1))]
("Alan" "is" "round" "+")
((triple3 ((((triple2 triple3) -> (rule6 % int4)) ((triple4 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is not round.
False
9
inv-proof
[(((triple3 ((((triple2 triple3) -> rule6) ((triple4 triple2) -> rule3)) -> rule4)) -> rule1))]
("Alan" "is" "round" "-")
((triple3 ((((triple2 triple3) -> (rule6 % int4)) ((triple4 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "red" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "red" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is big.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is kind.[(triple7)] Charlie is rough.[(triple6)] Charlie is young.[(triple5)] Eric is big.[(triple10)] Eric is cold.[(triple9)] Eric is round.[(triple8)] Fred is blue.[(triple12)] Fred is young.[(triple11)] @1: Alan is cold.[(((triple2 triple3) -> rule6))] Alan is kind.[(((triple4 triple2) -> rule3))] @2: Alan is blue.[(((((triple2 triple3) -> rule6) triple3) -> rule5))] Alan is green.[(((((triple2 triple3) -> rule6) ((triple4 triple2) -> rule3)) -> rule4))] @3: Alan is nice.[(((triple3 triple2 ((((triple2 triple3) -> rule6) triple3) -> rule5)) -> rule2))] Alan is round.[(((triple3 ((((triple2 triple3) -> rule6) ((triple4 triple2) -> rule3)) -> rule4)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is young.
("Fred" "is" "young" "+")
triple11
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 triple2) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((((triple2 triple3) -> (rule6 % int3)) ((triple4 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2 ((((triple2 triple3) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((triple3 ((((triple2 triple3) -> (rule6 % int4)) ((triple4 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan a big man for his young age; he has red hair and can be rough.
Charlie is young and kind; But he plays really rough with his friends.
Even though Eric is big and round, he is cold much of the time.
From a certain angle Fred is blue but he is young so maybe that will go away.
If you see someone who is red and green they are round, like Santa Claus.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
Someone big and rough in shape is always kind.
Show me someone who is cold and kind, and I'll show you how green they are.
A person who is cold with a red nose will be feeling blue.
People,though rough and red,tend to be cold too.
People who are nice, big, and also rough, are considered red.