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