To the touch Alan has rough, cold skin. Even though Charlie is big and round, he is cold much of the time. Big Eric is nice but also rough. Fred is nice and kind, but a little rough. A nice green person that tends to be rough will indeed be round too. I've found that people with rough skin tend to be really nice but they also often feel blue. Nice people who are big are always cold because they can't find space near the heater. If you ever find someone who's nice, rough, and blue, expect them to also be green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Eric is big.
True
1
proof
[(triple8)]
("Eric" "is" "big" "+")
triple8
Charlie is not cold.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "cold" "-")
triple4
Eric is blue.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "blue" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "blue" "-")
((triple6 triple7) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Fred is green.
True
6
proof
[(((triple10 triple9 ((triple9 triple10) -> rule2)) -> rule4))]
("Fred" "is" "green" "+")
((triple10 triple9 ((triple9 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Eric is not green.
False
6
inv-proof
[(((triple7 triple6 ((triple6 triple7) -> rule2)) -> rule4))]
("Eric" "is" "green" "-")
((triple7 triple6 ((triple6 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
True
9
proof
[(((((triple7 triple6 ((triple6 triple7) -> rule2)) -> rule4) triple7 triple6) -> rule1))]
("Eric" "is" "round" "+")
((((triple7 triple6 ((triple6 triple7) -> (rule2 % int3))) -> (rule4 % int2)) triple7 triple6) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Fred is not round.
False
9
inv-proof
[(((((triple10 triple9 ((triple9 triple10) -> rule2)) -> rule4) triple10 triple9) -> rule1))]
("Fred" "is" "round" "-")
((((triple10 triple9 ((triple9 triple10) -> (rule2 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Alan is cold.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is cold.[(triple4)] Charlie is round.[(triple3)] Eric is big.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Fred is kind.[(triple11)] Fred is nice.[(triple10)] Fred is rough.[(triple9)] @1: Eric is blue.[(((triple6 triple7) -> rule2))] Eric is cold.[(((triple8 triple7) -> rule3))] Fred is blue.[(((triple9 triple10) -> rule2))] @2: Eric is green.[(((triple7 triple6 ((triple6 triple7) -> rule2)) -> rule4))] Fred is green.[(((triple10 triple9 ((triple9 triple10) -> rule2)) -> rule4))] @3: Eric is round.[(((((triple7 triple6 ((triple6 triple7) -> rule2)) -> rule4) triple7 triple6) -> rule1))] Fred is round.[(((((triple10 triple9 ((triple9 triple10) -> rule2)) -> rule4) triple10 triple9) -> rule1))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple8 triple7) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple6 ((triple6 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple10 triple9 ((triple9 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple7 triple6 ((triple6 triple7) -> (rule2 % int3))) -> (rule4 % int2)) triple7 triple6) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((triple10 triple9 ((triple9 triple10) -> (rule2 % int3))) -> (rule4 % int2)) triple10 triple9) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
To the touch Alan has rough, cold skin.
Even though Charlie is big and round, he is cold much of the time.
Big Eric is nice but also rough.
Fred is nice and kind, but a little rough.
A nice green person that tends to be rough will indeed be round too.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Nice people who are big are always cold because they can't find space near the heater.
If you ever find someone who's nice, rough, and blue, expect them to also be green.