Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is rough. Gary is smart. Gary is white. If Gary is green and Gary is rough then Gary is furry. If someone is green and furry then they are red. All smart, white people are rough. If Fiona is green and Fiona is kind then Fiona is furry. All furry, smart people are kind. If someone is white then they are red. All furry people are red. All furry, white people are green.
Gary is green.
@0: Fiona is furry.[(triple1 OR ((triple2 triple3) -> rule4))] Fiona is green.[(triple2 OR ((triple1 triple7) -> rule8))] Fiona is kind.[(triple3 OR ((triple1 triple6) -> rule5))] Fiona is red.[(triple4 OR ((triple1) -> rule7) OR ((triple7) -> rule6) OR ((triple2 triple1) -> rule2) OR ((((triple2 triple3) -> rule4)) -> rule7) OR ((triple2 ((triple2 triple3) -> rule4)) -> rule2) OR ((((triple1 triple7) -> rule8) triple1) -> rule2) OR ((((triple1 triple7) -> rule8) ((triple2 triple3) -> rule4)) -> rule2))] Fiona is rough.[(triple5 OR ((triple6 triple7) -> rule3))] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Gary is furry.[(triple8 OR ((triple9 triple12) -> rule1) OR ((triple9 ((triple13 triple14) -> rule3)) -> rule1))] Gary is green.[(triple9 OR ((triple8 triple14) -> rule8))] Gary is kind.[(triple10 OR ((triple8 triple13) -> rule5) OR ((((triple9 triple12) -> rule1) triple13) -> rule5) OR ((((triple9 ((triple13 triple14) -> rule3)) -> rule1) triple13) -> rule5))] Gary is red.[(triple11 OR ((triple14) -> rule6) OR ((triple8) -> rule7) OR ((triple9 triple8) -> rule2) OR ((((triple9 triple12) -> rule1)) -> rule7) OR ((triple9 ((triple9 triple12) -> rule1)) -> rule2) OR ((((triple8 triple14) -> rule8) triple8) -> rule2) OR ((((triple8 triple14) -> rule8) ((triple9 triple12) -> rule1)) -> rule2) OR ((((triple9 ((triple13 triple14) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 ((triple13 triple14) -> rule3)) -> rule1)) -> rule2) OR ((((triple8 triple14) -> rule8) ((triple9 ((triple13 triple14) -> rule3)) -> rule1)) -> rule2))] Gary is rough.[(triple12 OR ((triple13 triple14) -> rule3))] Gary is smart.[(triple13)] Gary is white.[(triple14)]