They always call him rough Alan. To the touch Bob has rough, cold skin. Upon meeting Charlie, you'll notice he's green and kind. Gary is somewhat red,he is also very nice and kind, he is very big though. Young people with red skin who are a bit downhearted and blue are kind. People who are blue and red and kind are described as being green. Anybody that is big is also someone who is going to be blue. Big, green people that feel blue are mostly young. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Gary is nice.
True
1
proof
[(triple7)]
("Gary" "is" "nice" "+")
triple7
Charlie is not green.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "green" "-")
triple5
Gary is blue.
True
2
proof
[(((triple9) -> rule3))]
("Gary" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple9) -> rule3))]
("Gary" "is" "blue" "-")
((triple9) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
True
5
proof
[(((triple6 triple8 ((triple9) -> rule3)) -> rule2))]
("Gary" "is" "green" "+")
((triple6 triple8 ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not green.
False
5
inv-proof
[(((triple6 triple8 ((triple9) -> rule3)) -> rule2))]
("Gary" "is" "green" "-")
((triple6 triple8 ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
True
9
proof
[(((triple9 ((triple6 triple8 ((triple9) -> rule3)) -> rule2) ((triple9) -> rule3)) -> rule4))]
("Gary" "is" "young" "+")
((triple9 ((triple6 triple8 ((triple9) -> (rule3 % int3))) -> (rule2 % int2)) ((triple9) -> (rule3 % int3))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not young.
False
9
inv-proof
[(((triple9 ((triple6 triple8 ((triple9) -> rule3)) -> rule2) ((triple9) -> rule3)) -> rule4))]
("Gary" "is" "young" "-")
((triple9 ((triple6 triple8 ((triple9) -> (rule3 % int3))) -> (rule2 % int2)) ((triple9) -> (rule3 % int3))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is rough.[(triple1)] Bob is cold.[(triple3)] Bob is rough.[(triple2)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Gary is big.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is red.[(triple6)] @1: Gary is blue.[(((triple9) -> rule3))] @2: Gary is green.[(((triple6 triple8 ((triple9) -> rule3)) -> rule2))] @3: Gary is young.[(((triple9 ((triple6 triple8 ((triple9) -> rule3)) -> rule2) ((triple9) -> rule3)) -> rule4))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple8 ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple9 ((triple6 triple8 ((triple9) -> (rule3 % int3))) -> (rule2 % int2)) ((triple9) -> (rule3 % int3))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
They always call him rough Alan.
To the touch Bob has rough, cold skin.
Upon meeting Charlie, you'll notice he's green and kind.
Gary is somewhat red,he is also very nice and kind, he is very big though.
Young people with red skin who are a bit downhearted and blue are kind.
People who are blue and red and kind are described as being green.
Anybody that is big is also someone who is going to be blue.
Big, green people that feel blue are mostly young.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.