Alan was born only a few years ago so he is young. The big young man with the round body who seems to be having a rough time due to being green is named Charlie. Eric grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Harry gets red when he is mad and tends to act very cold. I've been told that big, nice people are very rough. Being kind and young means that if they are also blue, they are always red. People feeling green and blue are somewhat nice. Nice people are cold people. Rough, blue people tend to have a lot of green aspects. A person that is round, green, and blue is usually considered cold.
Alan is young.
("Alan" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Eric is not rough.
False
1
inv-proof
[(triple7)]
("Eric" "is" "rough" "-")
triple7
Eric is green.
True
3
proof
[(((triple7 triple8) -> rule5))]
("Eric" "is" "green" "+")
((triple7 triple8) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple7 triple8) -> rule5))]
("Eric" "is" "green" "-")
((triple7 triple8) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
True
5
proof
[(((((triple7 triple8) -> rule5) triple8) -> rule3))]
("Eric" "is" "nice" "+")
((((triple7 triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((((triple7 triple8) -> rule5) triple8) -> rule3))]
("Eric" "is" "nice" "-")
((((triple7 triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
True
6
proof
[(((((((triple7 triple8) -> rule5) triple8) -> rule3)) -> rule4))]
("Eric" "is" "cold" "+")
((((((triple7 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not cold.
False
6
inv-proof
[(((((((triple7 triple8) -> rule5) triple8) -> rule3)) -> rule4))]
("Eric" "is" "cold" "-")
((((((triple7 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Charlie is young.[(triple2)] Eric is blue.[(triple8)] Eric is rough.[(triple7)] Harry is cold.[(triple10)] Harry is red.[(triple9)] @1: Eric is green.[(((triple7 triple8) -> rule5))] @2: Eric is nice.[(((((triple7 triple8) -> rule5) triple8) -> rule3))] @3: Eric is cold.[(((((((triple7 triple8) -> rule5) triple8) -> rule3)) -> rule4))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple8) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple7 triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((((triple7 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan was born only a few years ago so he is young.
The big young man with the round body who seems to be having a rough time due to being green is named Charlie.
Eric grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Harry gets red when he is mad and tends to act very cold.
I've been told that big, nice people are very rough.
Being kind and young means that if they are also blue, they are always red.
People feeling green and blue are somewhat nice.
Nice people are cold people.
Rough, blue people tend to have a lot of green aspects.
A person that is round, green, and blue is usually considered cold.