People think Eric is nice and kind for someone so young.  Eric wears his favorite color green all the time. Fred is rough around the edges, but he's often blue and always nice. Gary looks red to most people, with blue features. Big, young people feel cold all the time. A rather round and big person will be kind, but also blue. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. You will always find a cold, rough, red person to also be a round person. Being cold and blue made them rough to deal with. Looking blue can be a sign that someone is cold. People with rough red and blue skin are young.
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
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 cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Fred is blue.
True
1
proof
[(triple7)]
("Fred" "is" "blue" "+")
triple7
Fred is not rough.
False
1
inv-proof
[(triple5 OR ((((triple7) -> rule6) triple7) -> rule5))]
("Fred" "is" "rough" "-")
triple5
((((triple7) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Gary is cold.
True
2
proof
[(((triple9) -> rule6))]
("Gary" "is" "cold" "+")
((triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple9) -> rule6))]
("Gary" "is" "cold" "-")
((triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
True
4
proof
[(((((triple9) -> rule6) triple9) -> rule5))]
("Gary" "is" "rough" "+")
((((triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((((triple9) -> rule6) triple9) -> rule5))]
("Gary" "is" "rough" "-")
((((triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
True
7
proof
[(((((((triple9) -> rule6) triple9) -> rule5) triple8 triple9) -> rule7))]
("Gary" "is" "young" "+")
((((((triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple8 triple9) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not round.
False
8
inv-proof
[(((((triple9) -> rule6) ((((triple9) -> rule6) triple9) -> rule5) triple8) -> rule4))]
("Gary" "is" "round" "-")
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Eric is green.[(triple4)] Eric is kind.[(triple3)] Eric is nice.[(triple2)] Eric is young.[(triple1)] Fred is blue.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5 OR ((((triple7) -> rule6) triple7) -> rule5))] Gary is blue.[(triple9)] Gary is red.[(triple8)] @1: Fred is cold.[(((triple7) -> rule6))] Gary is cold.[(((triple9) -> rule6))] @2: Gary is rough.[(((((triple9) -> rule6) triple9) -> rule5))] @3: Gary is round.[(((((triple9) -> rule6) ((((triple9) -> rule6) triple9) -> rule5) triple8) -> rule4))] Gary is young.[(((((((triple9) -> rule6) triple9) -> rule5) triple8 triple9) -> rule7))]
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
((((triple7) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
((triple7) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((triple9) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple8 triple9) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
People think Eric is nice and kind for someone so young; Eric wears his favorite color green all the time.
Fred is rough around the edges, but he's often blue and always nice.
Gary looks red to most people, with blue features.
Big, young people feel cold all the time.
A rather round and big person will be kind, but also blue.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
You will always find a cold, rough, red person to also be a round person.
Being cold and blue made them rough to deal with.
Looking blue can be a sign that someone is cold.
People with rough red and blue skin are young.