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