Alan is a person both green and big. In the snow sits Bob, crying from being cold. Nice, but round, Gary has been said to be cold. Harry is big and rough. We called someone with green, round eyes, blue for some reason. All the big and young boys at the park are red. A round someone could be blue and round but maybe red. I've noticed that someone with a round shape is also green. Folks who are nice and young with red coloration tend to feel blue. A person who is kind but also rough and is also colored blue, will be shaped round. People who are red and green are also nice.
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Alan is not big.
False
1
inv-proof
[(triple2)]
("Alan" "is" "big" "-")
triple2
Gary is green.
True
2
proof
[(((triple4) -> rule4))]
("Gary" "is" "green" "+")
((triple4) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple4) -> rule4))]
("Gary" "is" "green" "-")
((triple4) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
True
4
proof
[(((((triple4) -> rule4) triple4) -> rule1))]
("Gary" "is" "blue" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((((triple4) -> rule4) triple4) -> rule1))]
("Gary" "is" "blue" "-")
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
True
6
proof
[(((triple4 ((((triple4) -> rule4) triple4) -> rule1)) -> rule3))]
("Gary" "is" "red" "+")
((triple4 ((((triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not red.
False
6
inv-proof
[(((triple4 ((((triple4) -> rule4) triple4) -> rule1)) -> rule3))]
("Gary" "is" "red" "-")
((triple4 ((((triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Bob is cold.[(triple3)] Gary is cold.[(triple6)] Gary is nice.[(triple5 OR ((((triple4) -> rule4) ((triple4 ((((triple4) -> rule4) triple4) -> rule1)) -> rule3)) -> rule7))] Gary is round.[(triple4)] Harry is big.[(triple8)] Harry is rough.[(triple7)] @1: Gary is green.[(((triple4) -> rule4))] @2: Gary is blue.[(((((triple4) -> rule4) triple4) -> rule1))] @3: Gary is red.[(((triple4 ((((triple4) -> rule4) triple4) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
((((triple4) -> (rule4 % int4)) ((triple4 ((((triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
((triple4) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple4 ((((triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan is a person both green and big.
In the snow sits Bob, crying from being cold.
Nice, but round, Gary has been said to be cold.
Harry is big and rough.
We called someone with green, round eyes, blue for some reason.
All the big and young boys at the park are red.
A round someone could be blue and round but maybe red.
I've noticed that someone with a round shape is also green.
Folks who are nice and young with red coloration tend to feel blue.
A person who is kind but also rough and is also colored blue, will be shaped round.
People who are red and green are also nice.