Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. All big people are furry. If someone is nice and not blue then they are smart. If Gary is furry then Gary is kind. If someone is furry and blue then they are nice. If someone is furry then they are nice. If Gary is big and Gary is blue then Gary is furry. Nice people are big. If someone is big and not nice then they are kind.
Gary is quiet.
@0: Fiona is big.[(triple1 OR ((triple5) -> rule7) OR ((((triple3) -> rule5)) -> rule7) OR ((((triple3 triple2) -> rule4)) -> rule7))] Fiona is blue.[(triple2)] Fiona is furry.[(triple3 OR ((triple1) -> rule1) OR ((((triple5) -> rule7)) -> rule1))] Fiona is kind.[(triple4)] Fiona is nice.[(triple5 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule4) OR ((((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule1) triple2) -> rule4))] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] Gary is big.[(triple8 OR ((triple12) -> rule7) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple10 triple9) -> rule4)) -> rule7))] Gary is blue.[(triple9)] Gary is furry.[(triple10 OR ((triple8) -> rule1) OR ((triple8 triple9) -> rule6) OR ((((triple12) -> rule7)) -> rule1) OR ((((triple12) -> rule7) triple9) -> rule6))] Gary is kind.[(triple11 OR ((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule3) OR ((((triple8 triple9) -> rule6)) -> rule3) OR ((((((triple12) -> rule7)) -> rule1)) -> rule3) OR ((((((triple12) -> rule7) triple9) -> rule6)) -> rule3))] Gary is nice.[(triple12 OR ((triple10) -> rule5) OR ((triple10 triple9) -> rule4) OR ((((triple8) -> rule1)) -> rule5) OR ((((triple8 triple9) -> rule6)) -> rule5) OR ((((triple8) -> rule1) triple9) -> rule4) OR ((((triple8 triple9) -> rule6) triple9) -> rule4))] Gary is quiet.[(triple13)] Gary is smart.[(triple14)]