Bob is cold. Bob is nice. Dave is blue. Dave is nice. Dave is quiet. Fiona is rough. Fiona is young. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is young. All red people are blue. If Fiona is nice then Fiona is blue. If Fiona is blue then Fiona is red. If someone is young then they are quiet. Cold, quiet people are nice. Quiet, young people are cold. If someone is red and rough then they are blue. If someone is red then they are nice.
Fiona is not cold.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] Gary is blue.[(triple8 OR ((triple12) -> rule1) OR ((triple12 triple13) -> rule7))] Gary is cold.[(triple9 OR ((triple11 triple14) -> rule6) OR ((((triple14) -> rule4) triple14) -> rule6))] Gary is nice.[(triple10 OR ((triple12) -> rule8) OR ((triple9 triple11) -> rule5) OR ((triple9 ((triple14) -> rule4)) -> rule5) OR ((((triple11 triple14) -> rule6) triple11) -> rule5) OR ((((triple11 triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) triple11) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14) -> rule4)) -> rule5))] Gary is quiet.[(triple11 OR ((triple14) -> rule4))] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is young.[(triple14)] @1: Fiona is quiet.[(((triple7) -> rule4))] @2: Fiona is cold.[(((((triple7) -> rule4) triple7) -> rule6))] @3: Fiona is nice.[(((((((triple7) -> rule4) triple7) -> rule6) ((triple7) -> rule4)) -> rule5))] @4: Fiona is blue.[(((((((((triple7) -> rule4) triple7) -> rule6) ((triple7) -> rule4)) -> rule5)) -> rule2))] @5: Fiona is red.[(((((((((((triple7) -> rule4) triple7) -> rule6) ((triple7) -> rule4)) -> rule5)) -> rule2)) -> rule3))]