They always call him rough Alan. Bob is big and seems cold, but he's just green. Really, he is nice and often red with laughter. Fred is green, which is a possible explanation for why he is so nice. Big blue Gary is nice and young. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Fat, round people who are green with envy and notoriously rough. Big, red things tend to have a kind spirit to them. People who are blue and cold are red. Looking blue can be a sign that someone is cold. Blue and red people who are young always have rough skin. Kind and nice people who feel blue usually look green.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Gary is young.
True
1
proof
[(triple9)]
("Gary" "is" "young" "+")
triple9
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Gary is cold.
True
2
proof
[(((triple11) -> rule5))]
("Gary" "is" "cold" "+")
((triple11) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple2 triple6) -> rule3))]
("Bob" "is" "kind" "-")
((triple2 triple6) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is red.
True
4
proof
[(((triple11 ((triple11) -> rule5)) -> rule4))]
("Gary" "is" "red" "+")
((triple11 ((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not red.
False
4
inv-proof
[(((triple11 ((triple11) -> rule5)) -> rule4))]
("Gary" "is" "red" "-")
((triple11 ((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
True
6
proof
[(((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule3))]
("Gary" "is" "kind" "+")
((((triple11 ((triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not rough.
False
7
inv-proof
[(((triple11 ((triple11 ((triple11) -> rule5)) -> rule4) triple9) -> rule6))]
("Gary" "is" "rough" "-")
((triple11 ((triple11 ((triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
True
9
proof
[(((((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule3) triple11 triple10) -> rule7))]
("Gary" "is" "green" "+")
((((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2)) triple11 triple10) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not green.
False
9
inv-proof
[(((((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule3) triple11 triple10) -> rule7))]
("Gary" "is" "green" "-")
((((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2)) triple11 triple10) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "green" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is rough.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Fred is green.[(triple8)] Fred is nice.[(triple7)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Bob is kind.[(((triple2 triple6) -> rule3))] Gary is cold.[(((triple11) -> rule5))] @2: Gary is red.[(((triple11 ((triple11) -> rule5)) -> rule4))] @3: Gary is kind.[(((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule3))] Gary is rough.[(((triple11 ((triple11 ((triple11) -> rule5)) -> rule4) triple9) -> rule6))] @4: Gary is green.[(((((((triple11 ((triple11) -> rule5)) -> rule4) triple12) -> rule3) triple11 triple10) -> rule7))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 triple6) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple11) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple11 ((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple11 ((triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((triple11 ((triple11 ((triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple11 ((triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2)) triple11 triple10) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
They always call him rough Alan.
Bob is big and seems cold, but he's just green; Really, he is nice and often red with laughter.
Fred is green, which is a possible explanation for why he is so nice.
Big blue Gary is nice and young.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Fat, round people who are green with envy and notoriously rough.
Big, red things tend to have a kind spirit to them.
People who are blue and cold are red.
Looking blue can be a sign that someone is cold.
Blue and red people who are young always have rough skin.
Kind and nice people who feel blue usually look green.