Bob is rough. Bob is young. Charlie is big. Charlie is nice. Charlie is rough. Charlie is round. Fiona is big. Fiona is cold. Fiona is nice. Gary is big. Gary is cold. Gary is rough. Gary is round. Gary is smart. Gary is young. Cold, nice people are rough. If someone is cold and young then they are round. If someone is young then they are big. If someone is rough then they are young. If Gary is round and Gary is cold then Gary is nice. If someone is round then they are smart.
Fiona is round.
@0: Bob is rough.[(triple1)] Bob is young.[(triple2 OR ((triple1) -> rule4))] Charlie is big.[(triple3 OR ((((triple5) -> rule4)) -> rule3))] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Fiona is big.[(triple7 OR ((((((triple8 triple9) -> rule1)) -> rule4)) -> rule3))] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Gary is big.[(triple10 OR ((triple15) -> rule3) OR ((((triple12) -> rule4)) -> rule3) OR ((((((triple11 ((triple13 triple11) -> rule5)) -> rule1)) -> rule4)) -> rule3))] Gary is cold.[(triple11)] Gary is rough.[(triple12 OR ((triple11 ((triple13 triple11) -> rule5)) -> rule1) OR ((triple11 ((((triple11 triple15) -> rule2) triple11) -> rule5)) -> rule1))] Gary is round.[(triple13 OR ((triple11 triple15) -> rule2) OR ((triple11 ((triple12) -> rule4)) -> rule2))] Gary is smart.[(triple14 OR ((triple13) -> rule6) OR ((((triple11 triple15) -> rule2)) -> rule6) OR ((((triple11 ((triple12) -> rule4)) -> rule2)) -> rule6))] Gary is young.[(triple15 OR ((triple12) -> rule4) OR ((((triple11 ((triple13 triple11) -> rule5)) -> rule1)) -> rule4))] @1: Bob is big.[(((triple2) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] Charlie is smart.[(((triple6) -> rule6))] Charlie is young.[(((triple5) -> rule4))] Fiona is rough.[(((triple8 triple9) -> rule1))] Gary is nice.[(((triple13 triple11) -> rule5) OR ((((triple11 triple15) -> rule2) triple11) -> rule5) OR ((((triple11 ((triple12) -> rule4)) -> rule2) triple11) -> rule5))] @2: Fiona is young.[(((((triple8 triple9) -> rule1)) -> rule4))] @3: Fiona is round.[(((triple8 ((((triple8 triple9) -> rule1)) -> rule4)) -> rule2))] @4: Fiona is smart.[(((((triple8 ((((triple8 triple9) -> rule1)) -> rule4)) -> rule2)) -> rule6))]