Charlie vowed to always be rough, cold, blue, and big as possible. In the snow sits Fred, crying from being cold. Gary is somewhat red,he is also very nice and kind, he is very big though. Harry was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Big round people who wear red clothing will also wear a lot of green jewelry. I've noticed that kind people are also big. People who always wear red and act in a kind manner towards everyone they meet also have a round body. A kind and cold person who is green is, surprisingly, also blue. Nice people who are big are always cold because they can't find space near the heater. Rough people who are nice and have green thumbs are almost always young.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
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 kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Gary is cold.
True
3
proof
[(((triple9 triple7) -> rule5) OR ((((triple8) -> rule2) triple7) -> rule5))]
("Gary" "is" "cold" "+")
((triple9 triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not cold.
False
3
inv-proof
[(((triple9 triple7) -> rule5) OR ((((triple8) -> rule2) triple7) -> rule5))]
("Gary" "is" "cold" "-")
((triple9 triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
True
6
proof
[(((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1))]
("Gary" "is" "green" "+")
((triple9 triple6 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple8) -> (rule2 % int3)) triple6 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not green.
False
6
inv-proof
[(((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1))]
("Gary" "is" "green" "-")
((triple9 triple6 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple8) -> (rule2 % int3)) triple6 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
True
11
proof
[(((triple8 ((triple9 triple7) -> rule5) ((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((triple9 triple7) -> rule5) ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((((triple8) -> rule2) triple7) -> rule5) ((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((((triple8) -> rule2) triple7) -> rule5) ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4))]
("Gary" "is" "blue" "+")
((triple8 ((triple9 triple7) -> (rule5 % int4)) ((triple9 triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple8 ((triple9 triple7) -> (rule5 % int5)) ((((triple8) -> (rule2 % int4)) triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple8 ((((triple8) -> (rule2 % int5)) triple7) -> (rule5 % int4)) ((triple9 triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((triple8 ((((triple8) -> (rule2 % int5)) triple7) -> (rule5 % int4)) ((((triple8) -> (rule2 % int5)) triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is not blue.
False
11
inv-proof
[(((triple8 ((triple9 triple7) -> rule5) ((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((triple9 triple7) -> rule5) ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((((triple8) -> rule2) triple7) -> rule5) ((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((((triple8) -> rule2) triple7) -> rule5) ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4))]
("Gary" "is" "blue" "-")
((triple8 ((triple9 triple7) -> (rule5 % int4)) ((triple9 triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple8 ((triple9 triple7) -> (rule5 % int5)) ((((triple8) -> (rule2 % int4)) triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple8 ((((triple8) -> (rule2 % int5)) triple7) -> (rule5 % int4)) ((triple9 triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((triple8 ((((triple8) -> (rule2 % int5)) triple7) -> (rule5 % int4)) ((((triple8) -> (rule2 % int5)) triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is cold.[(triple2)] Charlie is rough.[(triple1)] Fred is cold.[(triple5)] Gary is big.[(triple9 OR ((triple8) -> rule2))] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is red.[(triple6)] Harry is blue.[(triple12)] Harry is green.[(triple11)] Harry is round.[(triple10)] @1: Gary is cold.[(((triple9 triple7) -> rule5) OR ((((triple8) -> rule2) triple7) -> rule5))] Gary is round.[(((triple6 triple8) -> rule3))] @2: Gary is green.[(((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1))] @3: Gary is blue.[(((triple8 ((triple9 triple7) -> rule5) ((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((triple9 triple7) -> rule5) ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((((triple8) -> rule2) triple7) -> rule5) ((triple9 triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4) OR ((triple8 ((((triple8) -> rule2) triple7) -> rule5) ((((triple8) -> rule2) triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple9
((triple8) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple6 triple8) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9 triple6 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple8) -> (rule2 % int3)) triple6 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((triple8 ((triple9 triple7) -> (rule5 % int4)) ((triple9 triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple8 ((triple9 triple7) -> (rule5 % int5)) ((((triple8) -> (rule2 % int4)) triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple8 ((((triple8) -> (rule2 % int5)) triple7) -> (rule5 % int4)) ((triple9 triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((triple8 ((((triple8) -> (rule2 % int5)) triple7) -> (rule5 % int4)) ((((triple8) -> (rule2 % int5)) triple6 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Charlie vowed to always be rough, cold, blue, and big as possible.
In the snow sits Fred, crying from being cold.
Gary is somewhat red,he is also very nice and kind, he is very big though.
Harry was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Big round people who wear red clothing will also wear a lot of green jewelry.
I've noticed that kind people are also big.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
A kind and cold person who is green is, surprisingly, also blue.
Nice people who are big are always cold because they can't find space near the heater.
Rough people who are nice and have green thumbs are almost always young.