Alan is a kind and red colored guy. Young Bob is wearing green pants. Dave is very nice to people, but he's also rather big. Gary is very young red and kind, however he's green, nice and cold as well. A big person who feels cold and has blue skin is a nice person. A nice person who is green is feeling cold. Big people who are red in color are often nice. Cold, rough people are always green. It's inevitable that young, green people are big. I have noticed that nice people that are green and blue are often round-shaped. Someone who is big and kind is blue.
Bob is round.
@0: Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple4)] Bob is young.[(triple3)] Dave is big.[(triple6)] Dave is nice.[(triple5)] Gary is cold.[(triple12 OR ((triple11 triple9) -> rule2) OR ((triple11 ((((triple7 triple11) -> rule5) triple8) -> rule3)) -> rule2))] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9 OR ((((triple7 triple11) -> rule5) triple8) -> rule3) OR ((triple12 ((triple10 ((triple7 triple11) -> rule5)) -> rule7) ((triple7 triple11) -> rule5)) -> rule1))] Gary is red.[(triple8)] Gary is young.[(triple7)] @1: Bob is big.[(((triple3 triple4) -> rule5))] Gary is big.[(((triple7 triple11) -> rule5))] @2: Gary is blue.[(((triple10 ((triple7 triple11) -> rule5)) -> rule7))] @3: Gary is round.[(((triple9 triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7 triple11) -> rule5) triple8) -> rule3) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6) OR ((((triple12 ((triple10 ((triple7 triple11) -> rule5)) -> rule7) ((triple7 triple11) -> rule5)) -> rule1) triple11 ((triple10 ((triple7 triple11) -> rule5)) -> rule7)) -> rule6))]