Eric fits the description of someone who is rough, red and blue. Fred is both young and fairly round in size. Gary is young, rough and green, but he turns blue when he is cold like anyone else. Any rather round person exposed to weather that leaves them red and cold will feel blue. Anyone you find who happens to be kind and blue will also be very nice. Round and big people are sure to be rough. People that are red and blue and green at the same time have a reason to be cold. If you find that someone has rough blue skin they are always kind. Anybody that is rough, cold and nice will be round at the same time.
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Gary is young.
True
1
proof
[(triple6)]
("Gary" "is" "young" "+")
triple6
Gary is not blue.
False
1
inv-proof
[(triple10)]
("Gary" "is" "blue" "-")
triple10
Gary is kind.
True
3
proof
[(((triple7 triple10) -> rule5))]
("Gary" "is" "kind" "+")
((triple7 triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple1 triple3) -> rule5))]
("Eric" "is" "kind" "-")
((triple1 triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
True
5
proof
[(((((triple1 triple3) -> rule5) triple3) -> rule2))]
("Eric" "is" "nice" "+")
((((triple1 triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((((triple1 triple3) -> rule5) triple3) -> rule2))]
("Eric" "is" "nice" "-")
((((triple1 triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Gary is round.
True
8
proof
[(((triple7 triple9 ((((triple7 triple10) -> rule5) triple10) -> rule2)) -> rule6))]
("Gary" "is" "round" "+")
((triple7 triple9 ((((triple7 triple10) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not round.
False
8
inv-proof
[(((triple7 triple9 ((((triple7 triple10) -> rule5) triple10) -> rule2)) -> rule6))]
("Gary" "is" "round" "-")
((triple7 triple9 ((((triple7 triple10) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "cold" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Eric is blue.[(triple3)] Eric is red.[(triple2)] Eric is rough.[(triple1)] Fred is round.[(triple5)] Fred is young.[(triple4)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is rough.[(triple7)] Gary is young.[(triple6)] @1: Eric is kind.[(((triple1 triple3) -> rule5))] Gary is kind.[(((triple7 triple10) -> rule5))] @2: Eric is nice.[(((((triple1 triple3) -> rule5) triple3) -> rule2))] Gary is nice.[(((((triple7 triple10) -> rule5) triple10) -> rule2))] @3: Gary is round.[(((triple7 triple9 ((((triple7 triple10) -> rule5) triple10) -> rule2)) -> rule6))]
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple1
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
((triple1 triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple1 triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple7 triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple7 triple9 ((((triple7 triple10) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Eric fits the description of someone who is rough, red and blue.
Fred is both young and fairly round in size.
Gary is young, rough and green, but he turns blue when he is cold like anyone else.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
Anyone you find who happens to be kind and blue will also be very nice.
Round and big people are sure to be rough.
People that are red and blue and green at the same time have a reason to be cold.
If you find that someone has rough blue skin they are always kind.
Anybody that is rough, cold and nice will be round at the same time.