Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is smart. Anne is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. Fiona is white. If Anne is furry then Anne is green. All furry people are blue. All round, white people are green. If Fiona is green then Fiona is nice. Blue, green people are furry. All blue, smart people are furry.
Anne is not round.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule5) OR ((triple1 triple5) -> rule6))] Anne is green.[(triple3 OR ((triple2) -> rule1) OR ((((triple1 triple5) -> rule6)) -> rule1))] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Fiona is blue.[(triple7 OR ((triple8) -> rule2))] Fiona is furry.[(triple8 OR ((triple7 triple9) -> rule5) OR ((triple7 ((triple11 triple12) -> rule3)) -> rule5))] Fiona is green.[(triple9 OR ((triple11 triple12) -> rule3))] Fiona is nice.[(triple10 OR ((triple9) -> rule4) OR ((((triple11 triple12) -> rule3)) -> rule4))] Fiona is round.[(triple11)] Fiona is white.[(triple12)]