Alan ate some rotten meat and now feels green. That guy Eric is big, but he's always kind to little ones. Big, round Fred is cold and very green. A kind, round person will surely be red as well. Being a kind person even when you are blue is hard, but it means you are round with delight. Someone who is colored green might feel blue, but if they are kind it means they will always be nice. A cold human with round and rough aspects is always kind. Someone with the traits of being cold and red is also going to be someone who is big. Someone who is big and kind is blue.
Alan is green.
("Alan" "is" "green" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Fred is big.
True
1
proof
[(triple7)]
("Fred" "is" "big" "+")
triple7
Fred is not round.
False
1
inv-proof
[(triple4)]
("Fred" "is" "round" "-")
triple4
Eric is blue.
True
3
proof
[(((triple2 triple3) -> rule6))]
("Eric" "is" "blue" "+")
((triple2 triple3) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple2 triple3) -> rule6))]
("Eric" "is" "blue" "-")
((triple2 triple3) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is round.
True
5
proof
[(((((triple2 triple3) -> rule6) triple2) -> rule2))]
("Eric" "is" "round" "+")
((((triple2 triple3) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not round.
False
5
inv-proof
[(((((triple2 triple3) -> rule6) triple2) -> rule2))]
("Eric" "is" "round" "-")
((((triple2 triple3) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
True
7
proof
[(((triple2 ((((triple2 triple3) -> rule6) triple2) -> rule2)) -> rule1))]
("Eric" "is" "red" "+")
((triple2 ((((triple2 triple3) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not red.
False
7
inv-proof
[(((triple2 ((((triple2 triple3) -> rule6) triple2) -> rule2)) -> rule1))]
("Eric" "is" "red" "-")
((triple2 ((((triple2 triple3) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "kind" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is green.[(triple1)] Eric is big.[(triple3)] Eric is kind.[(triple2)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is green.[(triple5)] Fred is round.[(triple4)] @1: Eric is blue.[(((triple2 triple3) -> rule6))] @2: Eric is round.[(((((triple2 triple3) -> rule6) triple2) -> rule2))] @3: Eric is red.[(((triple2 ((((triple2 triple3) -> rule6) triple2) -> rule2)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
((triple2 triple3) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((((triple2 triple3) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple2 ((((triple2 triple3) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan ate some rotten meat and now feels green.
That guy Eric is big, but he's always kind to little ones.
Big, round Fred is cold and very green.
A kind, round person will surely be red as well.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Someone who is colored green might feel blue, but if they are kind it means they will always be nice.
A cold human with round and rough aspects is always kind.
Someone with the traits of being cold and red is also going to be someone who is big.
Someone who is big and kind is blue.