Dave is blue. Dave is furry. Dave is nice. Dave is red. Erin is big. Erin is furry. Fiona is round. Gary is not blue. Gary is furry. Gary is nice. If Fiona is red then Fiona is furry. If Dave is red then Dave is blue. If Dave is not furry then Dave is not blue. If someone is furry and nice then they are red. If someone is blue and not red then they are young. Round people are big. All furry, blue people are big. If Fiona is not young and Fiona is not furry then Fiona is not round.
Fiona is nice.
@0: Dave is blue.[(triple1 OR ((triple4) -> rule2) OR ((((triple2 triple3) -> rule4)) -> rule2))] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4 OR ((triple2 triple3) -> rule4))] Erin is big.[(triple5)] Erin is furry.[(triple6)] Fiona is round.[(triple7)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is not blue.[(triple8)] @1: Dave is big.[(((triple2 triple1) -> rule7) OR ((triple2 ((triple4) -> rule2)) -> rule7) OR ((triple2 ((((triple2 triple3) -> rule4)) -> rule2)) -> rule7))] Fiona is big.[(((triple7) -> rule6))] Gary is red.[(((triple9 triple10) -> rule4))]