Bob is big. Bob is furry. Bob is rough. Bob is round. Bob is not smart. Bob is young. Fiona is round. Fiona is not smart. Gary is big. Gary is furry. Gary is green. Gary is round. All big things are not smart. If something is round and young then it is big. Smart things are big. If something is furry then it is big. All green, big things are furry. If Bob is green then Bob is smart. If Bob is rough and Bob is not green then Bob is smart. If Fiona is smart and Fiona is rough then Fiona is not big.
Fiona is not big.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4) OR ((triple4 triple6) -> rule2))] Bob is furry.[(triple2)] Bob is not smart.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple4 triple6) -> rule2)) -> rule1))] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple6)] Fiona is not smart.[(triple8)] Fiona is round.[(triple7)] Gary is big.[(triple9 OR ((triple10) -> rule4))] Gary is furry.[(triple10 OR ((triple11 triple9) -> rule5))] Gary is green.[(triple11)] Gary is round.[(triple12)] @1: Gary is not smart.[(((triple9) -> rule1) OR ((((triple10) -> rule4)) -> rule1))]