Alan ate some rotten meat and now feels green. They always call him rough Bob. Charlie is so young and darling he is kind to all the old people on the block. Even though Eric is green with envy he is nice with rosy red cheeks. A red colored person who is kind and feels cold is usually considered nice. A person that is both green and red tends to be cold as well. A human that's cold also means they are a human that is young. Humans who are nice to others while they are young and red will also be green. Big,cold,kind people tend to be red in color to others. Unfortunately, all the young people who are considered green are all round. If someone is red and green and feeels rough, they are kind.
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Eric is red.
True
1
proof
[(triple5)]
("Eric" "is" "red" "+")
triple5
Charlie is not young.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "young" "-")
triple3
Eric is cold.
True
3
proof
[(((triple7 triple5) -> rule2))]
("Eric" "is" "cold" "+")
((triple7 triple5) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("Eric" "is" "cold" "-")
((triple7 triple5) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
True
4
proof
[(((((triple7 triple5) -> rule2)) -> rule3))]
("Eric" "is" "young" "+")
((((triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not young.
False
4
inv-proof
[(((((triple7 triple5) -> rule2)) -> rule3))]
("Eric" "is" "young" "-")
((((triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
True
6
proof
[(((triple7 ((((triple7 triple5) -> rule2)) -> rule3)) -> rule6))]
("Eric" "is" "round" "+")
((triple7 ((((triple7 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not round.
False
6
inv-proof
[(((triple7 ((((triple7 triple5) -> rule2)) -> rule3)) -> rule6))]
("Eric" "is" "round" "-")
((triple7 ((((triple7 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is green.[(triple1)] Bob is rough.[(triple2)] Charlie is kind.[(triple4)] Charlie is young.[(triple3)] Eric is green.[(triple7)] Eric is nice.[(triple6)] Eric is red.[(triple5)] @1: Eric is cold.[(((triple7 triple5) -> rule2))] @2: Eric is young.[(((((triple7 triple5) -> rule2)) -> rule3))] @3: Eric is round.[(((triple7 ((((triple7 triple5) -> rule2)) -> rule3)) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 triple5) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple7 ((((triple7 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Alan ate some rotten meat and now feels green.
They always call him rough Bob.
Charlie is so young and darling he is kind to all the old people on the block.
Even though Eric is green with envy he is nice with rosy red cheeks.
A red colored person who is kind and feels cold is usually considered nice.
A person that is both green and red tends to be cold as well.
A human that's cold also means they are a human that is young.
Humans who are nice to others while they are young and red will also be green.
Big,cold,kind people tend to be red in color to others.
Unfortunately, all the young people who are considered green are all round.
If someone is red and green and feeels rough, they are kind.