Young, red Charlie is nice. That man standing next to you with a big round body goes by the name of Eric. Young Fred is quite nice, and because he is so round can be considered quite big. Gary is young but big for his age. Gary wasn't feeling well so he is a little green. All people that are rough and cold, as well as nice will be kind if you talk to them. Big round people who wear red clothing will also wear a lot of green jewelry. Blue Christmas ornaments are also red. A blue person who is feeling a bit rough and cold will be wearing red. Someone who is cold, big, and rough is always green, as a rule. Anybody that is big is also someone who is going to be blue.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and red and round then they are green.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Fred is big.
True
1
proof
[(triple9)]
("Fred" "is" "big" "+")
triple9
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Eric is blue.
True
2
proof
[(((triple5) -> rule6))]
("Eric" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
2
inv-proof
[(((triple5) -> rule6))]
("Eric" "is" "blue" "-")
((triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Gary is red.
True
3
proof
[(((((triple12) -> rule6)) -> rule3))]
("Gary" "is" "red" "+")
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not red.
False
3
inv-proof
[(((((triple12) -> rule6)) -> rule3))]
("Gary" "is" "red" "-")
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Eric is green.
True
6
proof
[(((triple5 ((((triple5) -> rule6)) -> rule3) triple4) -> rule2))]
("Eric" "is" "green" "+")
((triple5 ((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Fred is not green.
False
6
inv-proof
[(((triple9 ((((triple9) -> rule6)) -> rule3) triple7) -> rule2))]
("Fred" "is" "green" "-")
((triple9 ((((triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "blue" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple5)] Eric is round.[(triple4)] Fred is big.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Eric is blue.[(((triple5) -> rule6))] Fred is blue.[(((triple9) -> rule6))] Gary is blue.[(((triple12) -> rule6))] @2: Eric is red.[(((((triple5) -> rule6)) -> rule3))] Fred is red.[(((((triple9) -> rule6)) -> rule3))] Gary is red.[(((((triple12) -> rule6)) -> rule3))] @3: Eric is green.[(((triple5 ((((triple5) -> rule6)) -> rule3) triple4) -> rule2))] Fred is green.[(((triple9 ((((triple9) -> rule6)) -> rule3) triple7) -> rule2))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Eric is blue.
("Eric" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple9) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple12) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple5 ((((triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((triple9 ((((triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Young, red Charlie is nice.
That man standing next to you with a big round body goes by the name of Eric.
Young Fred is quite nice, and because he is so round can be considered quite big.
Gary is young but big for his age; Gary wasn't feeling well so he is a little green.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Big round people who wear red clothing will also wear a lot of green jewelry.
Blue Christmas ornaments are also red.
A blue person who is feeling a bit rough and cold will be wearing red.
Someone who is cold, big, and rough is always green, as a rule.
Anybody that is big is also someone who is going to be blue.