Alan is a person both green and big. In the snow sits Charlie, crying from being cold. Eric is both young and fairly round in size. Gary is big for being as young as he is. You will also notice how he is green and red. We called someone with green, round eyes, blue for some reason. Green and blue people have a habit of being cold, which makes them red too. Kind young people are red. Rough people are often always nice. Anybody that is big is also someone who is going to be blue. Blue people who are big tend to be rough. A blue individual that is kind and nice to others also has a rough appearance.
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Charlie is cold.
True
1
proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Alan is not big.
False
1
inv-proof
[(triple2)]
("Alan" "is" "big" "-")
triple2
Gary is blue.
True
2
proof
[(((triple9) -> rule5))]
("Gary" "is" "blue" "+")
((triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple9) -> rule5))]
("Gary" "is" "blue" "-")
((triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
True
4
proof
[(((((triple9) -> rule5) triple9) -> rule6))]
("Gary" "is" "rough" "+")
((((triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((((triple9) -> rule5) triple9) -> rule6))]
("Gary" "is" "rough" "-")
((((triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Alan is nice.
True
5
proof
[(((((((triple2) -> rule5) triple2) -> rule6)) -> rule4))]
("Alan" "is" "nice" "+")
((((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not nice.
False
5
inv-proof
[(((((((triple2) -> rule5) triple2) -> rule6)) -> rule4))]
("Alan" "is" "nice" "-")
((((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Charlie is cold.[(triple3)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple9)] Gary is green.[(triple8)] Gary is red.[(triple7)] Gary is young.[(triple6)] @1: Alan is blue.[(((triple2) -> rule5))] Gary is blue.[(((triple9) -> rule5))] @2: Alan is rough.[(((((triple2) -> rule5) triple2) -> rule6))] Gary is rough.[(((((triple9) -> rule5) triple9) -> rule6))] @3: Alan is nice.[(((((((triple2) -> rule5) triple2) -> rule6)) -> rule4))] Gary is nice.[(((((((triple9) -> rule5) triple9) -> rule6)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Alan is blue.
("Alan" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((((triple2) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple9) -> (rule5 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Alan is a person both green and big.
In the snow sits Charlie, crying from being cold.
Eric is both young and fairly round in size.
Gary is big for being as young as he is; You will also notice how he is green and red.
We called someone with green, round eyes, blue for some reason.
Green and blue people have a habit of being cold, which makes them red too.
Kind young people are red.
Rough people are often always nice.
Anybody that is big is also someone who is going to be blue.
Blue people who are big tend to be rough.
A blue individual that is kind and nice to others also has a rough appearance.