Alan is both young and fairly round in size. Eric's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters. Gary had big, red, round cheeks. Harry wears all blue. Anybody who is so cold that they are red and blue must be young. Anybody that is big is also someone who is going to be blue. A big, young human being is sure to also be a green human being. A red, round male or female will also be a nice male or female. A nice person with rough skin will be round, you can count on it. Whenever someone is kind as well as round and cold, they will definitely be blue. When someone is rough like sandpaper and young like a tadpole they are always round.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and red and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("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 red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Eric is cold.
True
1
proof
[(triple5)]
("Eric" "is" "cold" "+")
triple5
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Gary is blue.
True
2
proof
[(((triple9) -> rule2))]
("Gary" "is" "blue" "+")
((triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Eric is not blue.
False
2
inv-proof
[(((triple6) -> rule2))]
("Eric" "is" "blue" "-")
((triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
True
5
proof
[(((((triple6) -> rule2) triple3 triple5) -> rule1))]
("Eric" "is" "young" "+")
((((triple6) -> (rule2 % int2)) triple3 triple5) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not young.
False
5
inv-proof
[(((((triple6) -> rule2) triple3 triple5) -> rule1))]
("Eric" "is" "young" "-")
((((triple6) -> (rule2 % int2)) triple3 triple5) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
True
7
proof
[(((triple6 ((((triple6) -> rule2) triple3 triple5) -> rule1)) -> rule3))]
("Eric" "is" "green" "+")
((triple6 ((((triple6) -> (rule2 % int3)) triple3 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not green.
False
7
inv-proof
[(((triple6 ((((triple6) -> rule2) triple3 triple5) -> rule1)) -> rule3))]
("Eric" "is" "green" "-")
((triple6 ((((triple6) -> (rule2 % int3)) triple3 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Gary is big.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] Harry is blue.[(triple10)] @1: Eric is blue.[(((triple6) -> rule2))] Gary is blue.[(((triple9) -> rule2))] Gary is nice.[(((triple8 triple7) -> rule4))] @2: Eric is young.[(((((triple6) -> rule2) triple3 triple5) -> rule1))] @3: Eric is green.[(((triple6 ((((triple6) -> rule2) triple3 triple5) -> rule1)) -> rule3))]
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Eric is blue.
("Eric" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 triple7) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple6) -> (rule2 % int2)) triple3 triple5) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple6 ((((triple6) -> (rule2 % int3)) triple3 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is both young and fairly round in size.
Eric's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters.
Gary had big, red, round cheeks.
Harry wears all blue.
Anybody who is so cold that they are red and blue must be young.
Anybody that is big is also someone who is going to be blue.
A big, young human being is sure to also be a green human being.
A red, round male or female will also be a nice male or female.
A nice person with rough skin will be round, you can count on it.
Whenever someone is kind as well as round and cold, they will definitely be blue.
When someone is rough like sandpaper and young like a tadpole they are always round.