Bob is big. Bob is cold. Bob is red. Bob is round. Bob is young. Erin is quiet. Erin is rough. Erin is round. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Harry is big. Quiet people are big. Big people are rough. If someone is young and red then they are round. All young people are round. If someone is red then they are cold. All red people are quiet. Red people are rough. If Harry is rough and Harry is big then Harry is red.
Fiona is red.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule6)) -> rule1))] Bob is cold.[(triple2 OR ((triple3) -> rule5))] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule4) OR ((triple5 triple3) -> rule3))] Bob is young.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7 OR ((((triple6) -> rule1)) -> rule2))] Erin is round.[(triple8)] Fiona is big.[(triple9 OR ((triple11) -> rule1))] Fiona is cold.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12 OR ((triple9) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Fiona is round.[(triple13 OR ((triple14) -> rule4))] Fiona is young.[(triple14)] Harry is big.[(triple15)] @1: Bob is quiet.[(((triple3) -> rule6))] Bob is rough.[(((triple1) -> rule2) OR ((triple3) -> rule7) OR ((((((triple3) -> rule6)) -> rule1)) -> rule2))] Erin is big.[(((triple6) -> rule1))] Harry is rough.[(((triple15) -> rule2))] @2: Harry is red.[(((((triple15) -> rule2) triple15) -> rule8))] @3: Harry is cold.[(((((((triple15) -> rule2) triple15) -> rule8)) -> rule5))] Harry is quiet.[(((((((triple15) -> rule2) triple15) -> rule8)) -> rule6))]