Bob ate some rotten meat and now feels green. Charlie ate some rotten meat and now feels green. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. They always say that he is so nice and kind, that is Big Harry.  But he is also round and blue. Blue Christmas ornaments are also red. Often, when you meet a rough person with red skin, you'll see that they are young too. A round shaped and young aged person will be very cold. People who are kind and green are very often rough.
Bob is green.
("Bob" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Harry is kind.
True
1
proof
[(triple8)]
("Harry" "is" "kind" "+")
triple8
Harry is not round.
False
1
inv-proof
[(triple6)]
("Harry" "is" "round" "-")
triple6
Gary is red.
True
2
proof
[(((triple5) -> rule1))]
("Gary" "is" "red" "+")
((triple5) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "red" "-")
((triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Gary is young.
True
4
proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("Gary" "is" "young" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not young.
False
4
inv-proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("Gary" "is" "young" "-")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
True
6
proof
[(((triple3 ((triple4 ((triple5) -> rule1)) -> rule2)) -> rule3))]
("Gary" "is" "cold" "+")
((triple3 ((triple4 ((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not cold.
False
6
inv-proof
[(((triple3 ((triple4 ((triple5) -> rule1)) -> rule2)) -> rule3))]
("Gary" "is" "cold" "-")
((triple3 ((triple4 ((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is green.[(triple1)] Charlie is green.[(triple2)] Gary is blue.[(triple5)] Gary is rough.[(triple4)] Gary is round.[(triple3)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Gary is red.[(((triple5) -> rule1))] Harry is red.[(((triple9) -> rule1))] @2: Gary is young.[(((triple4 ((triple5) -> rule1)) -> rule2))] @3: Gary is cold.[(((triple3 ((triple4 ((triple5) -> rule1)) -> rule2)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
((triple5) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple3 ((triple4 ((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Bob ate some rotten meat and now feels green.
Charlie ate some rotten meat and now feels green.
Gary is blue just like his dog; Gary is rough and round enough for the dog to use him as an exercise wheel.
They always say that he is so nice and kind, that is Big Harry; But he is also round and blue.
Blue Christmas ornaments are also red.
Often, when you meet a rough person with red skin, you'll see that they are young too.
A round shaped and young aged person will be very cold.
People who are kind and green are very often rough.