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