Dave is big. Dave is blue. Dave is red. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Gary is big. Gary is kind. Gary is red. Blue people are red. If someone is nice then they are rough. Kind people are nice. If Gary is rough then Gary is blue. If someone is kind then they are rough. If someone is red then they are blue. If Fiona is big then Fiona is rough. If someone is rough then they are kind.
Dave is not rough.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple3) -> rule6))] Dave is red.[(triple3 OR ((triple2) -> rule1))] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6 OR ((triple9) -> rule8) OR ((((triple4) -> rule7)) -> rule8) OR ((((triple7) -> rule2)) -> rule8))] Fiona is nice.[(triple7 OR ((triple6) -> rule3) OR ((((triple9) -> rule8)) -> rule3) OR ((((((triple4) -> rule7)) -> rule8)) -> rule3))] Fiona is red.[(triple8)] Fiona is rough.[(triple9 OR ((triple4) -> rule7) OR ((triple6) -> rule5) OR ((triple7) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] Gary is big.[(triple10)] Gary is kind.[(triple11)] Gary is red.[(triple12 OR ((((((triple11) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple11) -> rule3)) -> rule2)) -> rule4)) -> rule1))] @1: Fiona is blue.[(((triple8) -> rule6))] Gary is blue.[(((triple12) -> rule6) OR ((((triple11) -> rule5)) -> rule4) OR ((((((triple11) -> rule3)) -> rule2)) -> rule4))] Gary is nice.[(((triple11) -> rule3))] Gary is rough.[(((triple11) -> rule5) OR ((((triple11) -> rule3)) -> rule2))]