When you first meet Alan you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. Red Bob is what folks call him, because he is quite red. Young Eric is already big and has rough, red skin from working outdoors.  Eric is kind but is feeling blue because of family troubles. People who are big and kind are also round. A male or female with rough, kind and round traits will surely have a nice quality, as well. This person is nice and young, also round, which makes them cold. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Kind people who are also rough are young.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Eric is big.
True
1
proof
[(triple12)]
("Eric" "is" "big" "+")
triple12
Alan is not rough.
False
1
inv-proof
[(triple2)]
("Alan" "is" "rough" "-")
triple2
Alan is round.
True
3
proof
[(((triple3 triple5) -> rule1))]
("Alan" "is" "round" "+")
((triple3 triple5) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple10 triple12) -> rule1))]
("Eric" "is" "round" "-")
((triple10 triple12) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
True
6
proof
[(((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2))]
("Eric" "is" "nice" "+")
((triple8 triple10 ((triple10 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Alan is not nice.
False
6
inv-proof
[(((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2))]
("Alan" "is" "nice" "-")
((triple2 triple3 ((triple3 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Eric is cold.
True
11
proof
[(((triple7 ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((triple8 triple10) -> rule5) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) triple12 triple10) -> rule4) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3))]
("Eric" "is" "cold" "+")
((triple7 ((triple8 triple10 ((triple10 triple12) -> (rule1 % int3))) -> (rule2 % int2)) ((triple10 triple12) -> (rule1 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple8 triple10) -> (rule5 % int4)) ((triple8 triple10 ((triple10 triple12) -> (rule1 % int3))) -> (rule2 % int2)) ((triple10 triple12) -> (rule1 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10 ((triple10 triple12) -> (rule1 % int4))) -> (rule2 % int3)) triple12 triple10) -> (rule4 % int2)) ((triple8 triple10 ((triple10 triple12) -> (rule1 % int4))) -> (rule2 % int3)) ((triple10 triple12) -> (rule1 % int4))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is not cold.
False
11
inv-proof
[(((triple7 ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((triple8 triple10) -> rule5) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) triple12 triple10) -> rule4) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3))]
("Eric" "is" "cold" "-")
((triple7 ((triple8 triple10 ((triple10 triple12) -> (rule1 % int3))) -> (rule2 % int2)) ((triple10 triple12) -> (rule1 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple8 triple10) -> (rule5 % int4)) ((triple8 triple10 ((triple10 triple12) -> (rule1 % int3))) -> (rule2 % int2)) ((triple10 triple12) -> (rule1 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10 ((triple10 triple12) -> (rule1 % int4))) -> (rule2 % int3)) triple12 triple10) -> (rule4 % int2)) ((triple8 triple10 ((triple10 triple12) -> (rule1 % int4))) -> (rule2 % int3)) ((triple10 triple12) -> (rule1 % int4))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Bob" "is" "cold" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is big.[(triple5)] Alan is cold.[(triple4 OR ((triple1 ((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) ((triple3 triple5) -> rule1)) -> rule3) OR ((((triple2 triple3) -> rule5) ((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) ((triple3 triple5) -> rule1)) -> rule3) OR ((((((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) triple5 triple3) -> rule4) ((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) ((triple3 triple5) -> rule1)) -> rule3))] Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1 OR ((triple2 triple3) -> rule5) OR ((((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) triple5 triple3) -> rule4))] Bob is red.[(triple6)] Eric is big.[(triple12)] Eric is blue.[(triple11)] Eric is kind.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] Eric is young.[(triple7 OR ((triple8 triple10) -> rule5) OR ((((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) triple12 triple10) -> rule4))] @1: Alan is round.[(((triple3 triple5) -> rule1))] Eric is round.[(((triple10 triple12) -> rule1))] @2: Alan is nice.[(((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2))] Eric is nice.[(((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2))] @3: Eric is cold.[(((triple7 ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((triple8 triple10) -> rule5) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) triple12 triple10) -> rule4) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
((triple1 ((triple2 triple3 ((triple3 triple5) -> (rule1 % int3))) -> (rule2 % int2)) ((triple3 triple5) -> (rule1 % int3))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple2 triple3) -> (rule5 % int4)) ((triple2 triple3 ((triple3 triple5) -> (rule1 % int3))) -> (rule2 % int2)) ((triple3 triple5) -> (rule1 % int3))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
((((((triple2 triple3 ((triple3 triple5) -> (rule1 % int4))) -> (rule2 % int3)) triple5 triple3) -> (rule4 % int2)) ((triple2 triple3 ((triple3 triple5) -> (rule1 % int4))) -> (rule2 % int3)) ((triple3 triple5) -> (rule1 % int4))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple2 triple3) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((((triple2 triple3 ((triple3 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple5 triple3) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
((triple8 triple10) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((((triple8 triple10 ((triple10 triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple12 triple10) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((triple3 triple5) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple10 triple12) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple3 ((triple3 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple8 triple10 ((triple10 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 ((triple8 triple10 ((triple10 triple12) -> (rule1 % int3))) -> (rule2 % int2)) ((triple10 triple12) -> (rule1 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple8 triple10) -> (rule5 % int4)) ((triple8 triple10 ((triple10 triple12) -> (rule1 % int3))) -> (rule2 % int2)) ((triple10 triple12) -> (rule1 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
((((((triple8 triple10 ((triple10 triple12) -> (rule1 % int4))) -> (rule2 % int3)) triple12 triple10) -> (rule4 % int2)) ((triple8 triple10 ((triple10 triple12) -> (rule1 % int4))) -> (rule2 % int3)) ((triple10 triple12) -> (rule1 % int4))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
When you first meet Alan you know he is young and big, but later you find out he is also, incredibly kind, cold and rough.
Red Bob is what folks call him, because he is quite red.
Young Eric is already big and has rough, red skin from working outdoors; Eric is kind but is feeling blue because of family troubles.
People who are big and kind are also round.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
This person is nice and young, also round, which makes them cold.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
Kind people who are also rough are young.