Anne is big. Anne is blue. Anne is nice. Anne is round. Bob is blue. Bob is nice. Bob is smart. Bob is white. Fiona is blue. Fiona is nice. Fiona is red. Fiona is round. If something is red and smart then it is big. If Anne is smart then Anne is red. White things are big. If something is red and smart then it is big. Nice things are red. All round, red things are white. If Bob is big and Bob is nice then Bob is red. If something is white then it is smart.
Fiona is not nice.
@0: Anne is big.[(triple1 OR ((((triple4 ((triple3) -> rule5)) -> rule6)) -> rule3) OR ((((triple3) -> rule5) ((((triple4 ((triple3) -> rule5)) -> rule6)) -> rule8)) -> rule1) OR ((((triple3) -> rule5) ((((triple4 ((triple3) -> rule5)) -> rule6)) -> rule8)) -> rule4))] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is nice.[(triple6)] Bob is smart.[(triple7 OR ((triple8) -> rule8))] Bob is white.[(triple8)] Fiona is blue.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11 OR ((triple10) -> rule5))] Fiona is round.[(triple12)] @1: Anne is red.[(((triple3) -> rule5))] Bob is big.[(((triple8) -> rule3) OR ((((triple6) -> rule5) triple7) -> rule1) OR ((((triple6) -> rule5) triple7) -> rule4) OR ((((triple6) -> rule5) ((triple8) -> rule8)) -> rule1) OR ((((triple6) -> rule5) ((triple8) -> rule8)) -> rule4))] Bob is red.[(((triple6) -> rule5) OR ((((triple8) -> rule3) triple6) -> rule7))] Fiona is white.[(((triple12 triple11) -> rule6) OR ((triple12 ((triple10) -> rule5)) -> rule6))] @2: Anne is white.[(((triple4 ((triple3) -> rule5)) -> rule6))] Fiona is big.[(((((triple12 triple11) -> rule6)) -> rule3) OR ((((triple12 ((triple10) -> rule5)) -> rule6)) -> rule3) OR ((triple11 ((((triple12 triple11) -> rule6)) -> rule8)) -> rule1) OR ((triple11 ((((triple12 triple11) -> rule6)) -> rule8)) -> rule4) OR ((((triple10) -> rule5) ((((triple12 triple11) -> rule6)) -> rule8)) -> rule1) OR ((((triple10) -> rule5) ((((triple12 triple11) -> rule6)) -> rule8)) -> rule4) OR ((triple11 ((((triple12 ((triple10) -> rule5)) -> rule6)) -> rule8)) -> rule1) OR ((triple11 ((((triple12 ((triple10) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((triple10) -> rule5) ((((triple12 ((triple10) -> rule5)) -> rule6)) -> rule8)) -> rule1) OR ((((triple10) -> rule5) ((((triple12 ((triple10) -> rule5)) -> rule6)) -> rule8)) -> rule4))] Fiona is smart.[(((((triple12 triple11) -> rule6)) -> rule8) OR ((((triple12 ((triple10) -> rule5)) -> rule6)) -> rule8))] @3: Anne is smart.[(((((triple4 ((triple3) -> rule5)) -> rule6)) -> rule8))]