Alan always goes out of his way to show that he is kind to people. Charlie who is considered nice was feeling rather rough today. Dave is young and big in stature.  He is cold but nice. The diving trip left Eric red and green all over, yet he remains the nice (though rather rough) guy he always has been. Rough people are often round. A person with a rough quality is also a person with a blue quality. A big, young human being is sure to also be a green human being. A nice and cold person can be counted on to be a young person at the same time. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Kind people who are also rough are young. A human being described as rough, nice and round will also fit the description of being cold.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Charlie is nice.
True
1
proof
[(triple3)]
("Charlie" "is" "nice" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Charlie is round.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "round" "+")
((triple2) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple7 triple4) -> rule3) OR ((triple7 ((triple5 triple6) -> rule4)) -> rule3) OR ((((triple6 triple5) -> rule5) triple4) -> rule3) OR ((((triple6 triple5) -> rule5) ((triple5 triple6) -> rule4)) -> rule3))]
("Dave" "is" "green" "-")
((triple7 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple7 ((triple5 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple6 triple5) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple6 triple5) -> (rule5 % int3)) ((triple5 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Charlie is cold.
True
5
proof
[(((triple2 ((triple2) -> rule1) triple3) -> rule7))]
("Charlie" "is" "cold" "+")
((triple2 ((triple2) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((triple2 ((triple2) -> rule1) triple3) -> rule7))]
("Charlie" "is" "cold" "-")
((triple2 ((triple2) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
True
7
proof
[(((((triple2 ((triple2) -> rule1) triple3) -> rule7) triple3) -> rule5))]
("Charlie" "is" "big" "+")
((((triple2 ((triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Eric is not young.
False
7
inv-proof
[(((triple10 ((triple8 ((triple8) -> rule1) triple10) -> rule7)) -> rule4))]
("Eric" "is" "young" "-")
((triple10 ((triple8 ((triple8) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Charlie is green.
True
15
proof
[(((((((triple2 ((triple2) -> rule1) triple3) -> rule7) triple3) -> rule5) ((triple3 ((triple2 ((triple2) -> rule1) triple3) -> rule7)) -> rule4)) -> rule3))]
("Charlie" "is" "green" "+")
((((((triple2 ((triple2) -> (rule1 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple3 ((triple2 ((triple2) -> (rule1 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is not green.
False
15
inv-proof
[(((((((triple2 ((triple2) -> rule1) triple3) -> rule7) triple3) -> rule5) ((triple3 ((triple2 ((triple2) -> rule1) triple3) -> rule7)) -> rule4)) -> rule3))]
("Charlie" "is" "green" "-")
((((((triple2 ((triple2) -> (rule1 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple3 ((triple2 ((triple2) -> (rule1 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "big" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "green" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Alan is kind.[(triple1)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Dave is big.[(triple7 OR ((triple6 triple5) -> rule5))] Dave is cold.[(triple6)] Dave is nice.[(triple5)] Dave is young.[(triple4 OR ((triple5 triple6) -> rule4))] Eric is green.[(triple11 OR ((((((triple8 ((triple8) -> rule1) triple10) -> rule7) triple10) -> rule5) ((triple10 ((triple8 ((triple8) -> rule1) triple10) -> rule7)) -> rule4)) -> rule3))] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] @1: Charlie is blue.[(((triple2) -> rule2))] Charlie is round.[(((triple2) -> rule1))] Dave is green.[(((triple7 triple4) -> rule3) OR ((triple7 ((triple5 triple6) -> rule4)) -> rule3) OR ((((triple6 triple5) -> rule5) triple4) -> rule3) OR ((((triple6 triple5) -> rule5) ((triple5 triple6) -> rule4)) -> rule3))] Eric is blue.[(((triple8) -> rule2))] Eric is round.[(((triple8) -> rule1))] @2: Charlie is cold.[(((triple2 ((triple2) -> rule1) triple3) -> rule7))] Eric is cold.[(((triple8 ((triple8) -> rule1) triple10) -> rule7))] @3: Charlie is big.[(((((triple2 ((triple2) -> rule1) triple3) -> rule7) triple3) -> rule5))] Charlie is young.[(((triple3 ((triple2 ((triple2) -> rule1) triple3) -> rule7)) -> rule4))] Eric is big.[(((((triple8 ((triple8) -> rule1) triple10) -> rule7) triple10) -> rule5))] Eric is young.[(((triple10 ((triple8 ((triple8) -> rule1) triple10) -> rule7)) -> rule4))] @4: Charlie is green.[(((((((triple2 ((triple2) -> rule1) triple3) -> rule7) triple3) -> rule5) ((triple3 ((triple2 ((triple2) -> rule1) triple3) -> rule7)) -> rule4)) -> rule3))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple7
((triple6 triple5) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple5 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple11
((((((triple8 ((triple8) -> (rule1 % int5)) triple10) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple10 ((triple8 ((triple8) -> (rule1 % int5)) triple10) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple2) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple7 ((triple5 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple6 triple5) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple6 triple5) -> (rule5 % int3)) ((triple5 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
((triple8) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple8) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 ((triple2) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple8 ((triple8) -> (rule1 % int2)) triple10) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple2 ((triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 ((triple2 ((triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
((((triple8 ((triple8) -> (rule1 % int3)) triple10) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
((triple10 ((triple8 ((triple8) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple2 ((triple2) -> (rule1 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple3 ((triple2 ((triple2) -> (rule1 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Alan always goes out of his way to show that he is kind to people.
Charlie who is considered nice was feeling rather rough today.
Dave is young and big in stature; He is cold but nice.
The diving trip left Eric red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Rough people are often round.
A person with a rough quality is also a person with a blue quality.
A big, young human being is sure to also be a green human being.
A nice and cold person can be counted on to be a young person at the same time.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Kind people who are also rough are young.
A human being described as rough, nice and round will also fit the description of being cold.