Alan, a green man, was also big, but underneath he was kind. Charlie gets red when he is mad and tends to act very cold. Eric's a round guy, and a red and green guy. It's said that any person with blue skin, round bones, and big feet is kind. Anybody that is big is also someone who is going to be blue. Big, kind, and nice people are often red in color. People who are round and young are also quite nice. People who are red and green are also nice. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. A person that is green also someone who is big.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Eric is green.
True
1
proof
[(triple8)]
("Eric" "is" "green" "+")
triple8
Alan is not big.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule7))]
("Alan" "is" "big" "-")
triple3
((triple2) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
True
2
proof
[(((triple3) -> rule2) OR ((((triple2) -> rule7)) -> rule2))]
("Alan" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not blue.
False
2
inv-proof
[(((triple3) -> rule2) OR ((((triple2) -> rule7)) -> rule2))]
("Alan" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Eric is blue.
True
3
proof
[(((((triple8) -> rule7)) -> rule2))]
("Eric" "is" "blue" "+")
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not blue.
False
3
inv-proof
[(((((triple8) -> rule7)) -> rule2))]
("Eric" "is" "blue" "-")
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
True
7
proof
[(((((((triple8) -> rule7)) -> rule2) triple6 ((triple8) -> rule7)) -> rule1))]
("Eric" "is" "kind" "+")
((((((triple8) -> (rule7 % int3))) -> (rule2 % int2)) triple6 ((triple8) -> (rule7 % int3))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not kind.
False
7
inv-proof
[(((((((triple8) -> rule7)) -> rule2) triple6 ((triple8) -> rule7)) -> rule1))]
("Eric" "is" "kind" "-")
((((((triple8) -> (rule7 % int3))) -> (rule2 % int2)) triple6 ((triple8) -> (rule7 % int3))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "big" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is big.[(triple3 OR ((triple2) -> rule7))] Alan is green.[(triple2)] Alan is kind.[(triple1)] Charlie is cold.[(triple5)] Charlie is red.[(triple4)] Eric is green.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] @1: Alan is blue.[(((triple3) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] Eric is big.[(((triple8) -> rule7))] Eric is nice.[(((triple8 triple7) -> rule5))] @2: Eric is blue.[(((((triple8) -> rule7)) -> rule2))] @3: Eric is kind.[(((((((triple8) -> rule7)) -> rule2) triple6 ((triple8) -> rule7)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
((triple2) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Alan is blue.
("Alan" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple8) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple8 triple7) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((((triple8) -> (rule7 % int3))) -> (rule2 % int2)) triple6 ((triple8) -> (rule7 % int3))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Alan, a green man, was also big, but underneath he was kind.
Charlie gets red when he is mad and tends to act very cold.
Eric's a round guy, and a red and green guy.
It's said that any person with blue skin, round bones, and big feet is kind.
Anybody that is big is also someone who is going to be blue.
Big, kind, and nice people are often red in color.
People who are round and young are also quite nice.
People who are red and green are also nice.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
A person that is green also someone who is big.