Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is white. Charlie is cold. Charlie is green. Charlie is nice. Charlie is white. Fiona is big. If something is nice then it is quiet. Round things are nice. All cold things are quiet. Green things are big. If something is quiet and cold then it is white. Big things are round. If something is white then it is quiet. If something is nice and cold then it is round.
Fiona is green.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2 OR ((triple4) -> rule2) OR ((((((triple1) -> rule4)) -> rule6)) -> rule2))] Bob is quiet.[(triple3 OR ((triple2) -> rule1) OR ((triple5) -> rule7) OR ((((triple4) -> rule2)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1))] Bob is round.[(triple4 OR ((((triple1) -> rule4)) -> rule6))] Bob is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8 OR ((((((triple7) -> rule4)) -> rule6)) -> rule2))] Charlie is white.[(triple9 OR ((((triple6) -> rule3) triple6) -> rule5) OR ((((triple8) -> rule1) triple6) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1) triple6) -> rule5))] Fiona is big.[(triple10)] @1: Bob is big.[(((triple1) -> rule4))] Charlie is big.[(((triple7) -> rule4))] Charlie is quiet.[(((triple6) -> rule3) OR ((triple8) -> rule1) OR ((triple9) -> rule7) OR ((((((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1))] Charlie is round.[(((triple8 triple6) -> rule8) OR ((((triple7) -> rule4)) -> rule6))] Fiona is round.[(((triple10) -> rule6))] @2: Fiona is nice.[(((((triple10) -> rule6)) -> rule2))] @3: Fiona is quiet.[(((((((triple10) -> rule6)) -> rule2)) -> rule1))]