Bob is big. Bob is blue. Bob is kind. Bob is not red. Bob is round. Charlie is blue. Charlie is red. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is not red. Erin is round. Fiona is red. Fiona is round. If Fiona is red and Fiona is quiet then Fiona is not furry. Red things are blue. If Bob is red then Bob is kind. Big, quiet things are furry. All round, blue things are quiet. Furry, blue things are not red.
Bob is quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is not red.[(triple4 OR ((((triple1 ((triple5 triple2) -> rule5)) -> rule4) triple2) -> rule6))] Bob is round.[(triple5)] Charlie is blue.[(triple6 OR ((triple7) -> rule2))] Charlie is red.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is not red.[(triple12 OR ((triple9 triple8) -> rule6))] Erin is quiet.[(triple11 OR ((triple13 triple8) -> rule5))] Erin is round.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] @1: Bob is quiet.[(((triple5 triple2) -> rule5))] Fiona is blue.[(((triple14) -> rule2))] @2: Bob is furry.[(((triple1 ((triple5 triple2) -> rule5)) -> rule4))] Fiona is quiet.[(((triple15 ((triple14) -> rule2)) -> rule5))] @3: Fiona is not furry.[(((triple14 ((triple15 ((triple14) -> rule2)) -> rule5)) -> rule1))]