Colored red, green, and blue, Alan is quite the round person. Bob is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Even though he's a big dude, Dave is cold. Red Harry is what folks call him, because he is quite red. Nice blue people are often rough. I have found that if someone is kind and red, that they are quite often nice. Big, kind people are nice. If a kind person is also young and round shaped, they will be colored blue. Look for the blue and green people, they are kind and will give you directions if you're lost. Round green people usually feel blue. A blue and round human being will also be a green human being.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Alan is green.
True
1
proof
[(triple3 OR ((triple4 triple1) -> rule7))]
("Alan" "is" "green" "+")
triple3
((triple4 triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Alan is kind.
True
3
proof
[(((triple4 triple3) -> rule5) OR ((triple4 ((triple4 triple1) -> rule7)) -> rule5) OR ((((triple1 triple3) -> rule6) triple3) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5))]
("Alan" "is" "kind" "+")
((triple4 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
((triple4 ((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
((((triple1 triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule6 % int3)) ((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not kind.
False
3
inv-proof
[(((triple4 triple3) -> rule5) OR ((triple4 ((triple4 triple1) -> rule7)) -> rule5) OR ((((triple1 triple3) -> rule6) triple3) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5))]
("Alan" "is" "kind" "-")
((triple4 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
((triple4 ((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
((((triple1 triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule6 % int3)) ((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
True
5
proof
[(((((triple4 triple3) -> rule5) triple2) -> rule2) OR ((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2))]
("Alan" "is" "nice" "+")
((((triple4 triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((((triple4 ((triple4 triple1) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((((triple1 triple3) -> (rule6 % int3)) triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule6 % int4)) ((triple4 triple1) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not nice.
False
5
inv-proof
[(((((triple4 triple3) -> rule5) triple2) -> rule2) OR ((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2))]
("Alan" "is" "nice" "-")
((((triple4 triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((((triple4 ((triple4 triple1) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((((triple1 triple3) -> (rule6 % int3)) triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule6 % int4)) ((triple4 triple1) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is rough.
True
7
proof
[(((((((triple4 triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1))]
("Alan" "is" "rough" "+")
((((((triple4 triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((((((triple4 triple3) -> (rule5 % int4)) triple2) -> (rule2 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((((((triple4 ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((((((triple1 triple3) -> (rule6 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple4 ((triple4 triple1) -> (rule7 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
((((((((triple1 triple3) -> (rule6 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple3) -> (rule6 % int4))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((((triple1 triple3) -> (rule6 % int5)) ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple1 triple3) -> (rule6 % int5)) ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple3) -> (rule6 % int5))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
Alan is not rough.
False
7
inv-proof
[(((((((triple4 triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1))]
("Alan" "is" "rough" "-")
((((((triple4 triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((((((triple4 triple3) -> (rule5 % int4)) triple2) -> (rule2 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((((((triple4 ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((((((triple1 triple3) -> (rule6 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple4 ((triple4 triple1) -> (rule7 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
((((((((triple1 triple3) -> (rule6 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple3) -> (rule6 % int4))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((((triple1 triple3) -> (rule6 % int5)) ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple1 triple3) -> (rule6 % int5)) ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple3) -> (rule6 % int5))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "green" "-")
Harry is nice.
Unknown
rconc
[@3: Harry is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is nice.
Unknown
rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is blue.[(triple4 OR ((triple1 triple3) -> rule6))] Alan is green.[(triple3 OR ((triple4 triple1) -> rule7))] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple8)] Bob is kind.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Harry is red.[(triple11)] @1: Alan is kind.[(((triple4 triple3) -> rule5) OR ((triple4 ((triple4 triple1) -> rule7)) -> rule5) OR ((((triple1 triple3) -> rule6) triple3) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5))] Bob is nice.[(((triple7 triple6) -> rule2))] @2: Alan is nice.[(((((triple4 triple3) -> rule5) triple2) -> rule2) OR ((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) OR ((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2))] @3: Alan is rough.[(((((((triple4 triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((triple4 ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) triple3) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) triple4) -> rule1) OR ((((((((triple1 triple3) -> rule6) ((triple4 triple1) -> rule7)) -> rule5) triple2) -> rule2) ((triple1 triple3) -> rule6)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
((triple1 triple3) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple3
((triple4 triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple11
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
((triple4 ((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
((((triple1 triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule6 % int3)) ((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple7 triple6) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
((((triple4 ((triple4 triple1) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((((triple1 triple3) -> (rule6 % int3)) triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule6 % int4)) ((triple4 triple1) -> (rule7 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
((((((triple4 triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
((((((triple4 triple3) -> (rule5 % int4)) triple2) -> (rule2 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
((((((triple4 ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((((((triple1 triple3) -> (rule6 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple4 ((triple4 triple1) -> (rule7 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3)) ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
((((((((triple1 triple3) -> (rule6 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple3) -> (rule6 % int4))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((((triple1 triple3) -> (rule6 % int5)) ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple1 triple3) -> (rule6 % int5)) ((triple4 triple1) -> (rule7 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple3) -> (rule6 % int5))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
Colored red, green, and blue, Alan is quite the round person.
Bob is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
Even though he's a big dude, Dave is cold.
Red Harry is what folks call him, because he is quite red.
Nice blue people are often rough.
I have found that if someone is kind and red, that they are quite often nice.
Big, kind people are nice.
If a kind person is also young and round shaped, they will be colored blue.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Round green people usually feel blue.
A blue and round human being will also be a green human being.