Bob is cold. Bob is nice. Bob is quiet. Bob is young. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Quiet things are green. If something is quiet then it is cold. Round things are cold. Round things are quiet. If Bob is young and Bob is nice then Bob is quiet. Round things are big. Big things are quiet. All young things are nice.
Fiona is not cold.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule2) OR ((((triple4 triple2) -> rule5)) -> rule2) OR ((((triple4 ((triple4) -> rule8)) -> rule5)) -> rule2))] Bob is nice.[(triple2 OR ((triple4) -> rule8))] Bob is quiet.[(triple3 OR ((triple4 triple2) -> rule5) OR ((triple4 ((triple4) -> rule8)) -> rule5))] Bob is young.[(triple4)] Erin is cold.[(triple5 OR ((triple8) -> rule2) OR ((triple9) -> rule3) OR ((((triple9) -> rule4)) -> rule2) OR ((((((triple9) -> rule6)) -> rule7)) -> rule2))] Erin is green.[(triple6 OR ((triple8) -> rule1) OR ((((triple9) -> rule4)) -> rule1) OR ((((((triple9) -> rule6)) -> rule7)) -> rule1))] Erin is nice.[(triple7 OR ((triple10) -> rule8))] Erin is quiet.[(triple8 OR ((triple9) -> rule4) OR ((((triple9) -> rule6)) -> rule7))] Erin is round.[(triple9)] Erin is young.[(triple10)] Fiona is big.[(triple11 OR ((triple16) -> rule6))] Fiona is cold.[(triple12 OR ((triple15) -> rule2) OR ((triple16) -> rule3) OR ((((triple11) -> rule7)) -> rule2) OR ((((triple16) -> rule4)) -> rule2) OR ((((((triple16) -> rule6)) -> rule7)) -> rule2))] Fiona is green.[(triple13 OR ((triple15) -> rule1) OR ((((triple11) -> rule7)) -> rule1) OR ((((triple16) -> rule4)) -> rule1) OR ((((((triple16) -> rule6)) -> rule7)) -> rule1))] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15 OR ((triple11) -> rule7) OR ((triple16) -> rule4) OR ((((triple16) -> rule6)) -> rule7))] Fiona is round.[(triple16)] @1: Bob is green.[(((triple3) -> rule1) OR ((((triple4 triple2) -> rule5)) -> rule1) OR ((((triple4 ((triple4) -> rule8)) -> rule5)) -> rule1))] Erin is big.[(((triple9) -> rule6))]