In the snow sits Charlie, crying from being cold. That man standing next to you with a big round body goes by the name of Eric. Big Fred, the most blue guy I know while also being cold. Harry is a rough but very kind and blue person. 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. A big kind person that is red is almost always nice. A round person will also be red.
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 kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Eric is round.
True
1
proof
[(triple2)]
("Eric" "is" "round" "+")
triple2
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Eric is blue.
True
2
proof
[(((triple3) -> rule2))]
("Eric" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple2) -> rule4))]
("Eric" "is" "red" "-")
((triple2) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
True
5
proof
[(((((triple3) -> rule2) triple2 triple3) -> rule1))]
("Eric" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple2 triple3) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((((triple3) -> rule2) triple2 triple3) -> rule1))]
("Eric" "is" "kind" "-")
((((triple3) -> (rule2 % int2)) triple2 triple3) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
True
9
proof
[(((((((triple3) -> rule2) triple2 triple3) -> rule1) ((triple2) -> rule4) triple3) -> rule3))]
("Eric" "is" "nice" "+")
((((((triple3) -> (rule2 % int4)) triple2 triple3) -> (rule1 % int3)) ((triple2) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not nice.
False
9
inv-proof
[(((((((triple3) -> rule2) triple2 triple3) -> rule1) ((triple2) -> rule4) triple3) -> rule3))]
("Eric" "is" "nice" "-")
((((((triple3) -> (rule2 % int4)) triple2 triple3) -> (rule1 % int3)) ((triple2) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "kind" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is cold.[(triple1)] Eric is big.[(triple3)] Eric is round.[(triple2)] Fred is big.[(triple6)] Fred is blue.[(triple5 OR ((triple6) -> rule2))] Fred is cold.[(triple4)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] Harry is rough.[(triple7)] @1: Eric is blue.[(((triple3) -> rule2))] Eric is red.[(((triple2) -> rule4))] @2: Eric is kind.[(((((triple3) -> rule2) triple2 triple3) -> rule1))] @3: Eric is nice.[(((((((triple3) -> rule2) triple2 triple3) -> rule1) ((triple2) -> rule4) triple3) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple5
((triple6) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple2) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple2 triple3) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((((triple3) -> (rule2 % int4)) triple2 triple3) -> (rule1 % int3)) ((triple2) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
In the snow sits Charlie, crying from being cold.
That man standing next to you with a big round body goes by the name of Eric.
Big Fred, the most blue guy I know while also being cold.
Harry is a rough but very kind and blue person.
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.
A big kind person that is red is almost always nice.
A round person will also be red.