Bob is big. Bob is cold. Bob is nice. Bob is rough. Bob is round. Bob is smart. Erin is big. Erin is round. Erin is smart. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Fiona is smart. Big, rough things are smart. If something is green and rough then it is round. All big things are nice. All smart things are round. If something is nice and round then it is cold. If something is big then it is smart.
Fiona is rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple6) -> rule4)) -> rule5) OR ((((triple1) -> rule3) triple5) -> rule5) OR ((((triple1) -> rule3) ((triple6) -> rule4)) -> rule5) OR ((triple3 ((((triple1) -> rule6)) -> rule4)) -> rule5) OR ((triple3 ((((triple1 triple4) -> rule1)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1 triple4) -> rule1)) -> rule4)) -> rule5))] Bob is nice.[(triple3 OR ((triple1) -> rule3))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple6) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple1 triple4) -> rule1)) -> rule4))] Bob is smart.[(triple6 OR ((triple1) -> rule6) OR ((triple1 triple4) -> rule1))] Erin is big.[(triple7)] Erin is round.[(triple8 OR ((triple9) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] Erin is smart.[(triple9 OR ((triple7) -> rule6))] Fiona is big.[(triple10)] Fiona is cold.[(triple11 OR ((triple13 triple14) -> rule5) OR ((triple13 ((triple15) -> rule4)) -> rule5) OR ((((triple10) -> rule3) triple14) -> rule5) OR ((((triple10) -> rule3) ((triple15) -> rule4)) -> rule5) OR ((triple13 ((((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple10) -> rule3) ((((triple10) -> rule6)) -> rule4)) -> rule5))] Fiona is green.[(triple12)] Fiona is nice.[(triple13 OR ((triple10) -> rule3))] Fiona is round.[(triple14 OR ((triple15) -> rule4) OR ((((triple10) -> rule6)) -> rule4))] Fiona is smart.[(triple15 OR ((triple10) -> rule6))] @1: Erin is nice.[(((triple7) -> rule3))] @2: Erin is cold.[(((((triple7) -> rule3) triple8) -> rule5) OR ((((triple7) -> rule3) ((triple9) -> rule4)) -> rule5) OR ((((triple7) -> rule3) ((((triple7) -> rule6)) -> rule4)) -> rule5))]