Erin is blue. Erin is furry. Erin is nice. Erin is smart. Erin is young. Fiona is rough. Fiona is young. Gary is blue. Gary is nice. Gary is smart. If Fiona is kind then Fiona is blue. Furry people are blue. Rough people are young. Smart, young people are kind. Kind, young people are furry. Blue, young people are rough. All nice people are rough. If someone is young then they are blue.
Fiona is furry.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule2) OR ((triple5) -> rule8) OR ((((((triple3) -> rule7)) -> rule3)) -> rule8) OR ((((((triple4 triple5) -> rule4) triple5) -> rule5)) -> rule2) OR ((((((triple4 triple5) -> rule4) ((((triple3) -> rule7)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4 ((((triple3) -> rule7)) -> rule3)) -> rule4) triple5) -> rule5)) -> rule2) OR ((((((triple4 ((((triple3) -> rule7)) -> rule3)) -> rule4) ((((triple3) -> rule7)) -> rule3)) -> rule5)) -> rule2))] Erin is furry.[(triple2 OR ((((triple4 triple5) -> rule4) triple5) -> rule5) OR ((((triple4 triple5) -> rule4) ((((triple3) -> rule7)) -> rule3)) -> rule5) OR ((((triple4 ((((triple3) -> rule7)) -> rule3)) -> rule4) triple5) -> rule5) OR ((((triple4 ((((triple3) -> rule7)) -> rule3)) -> rule4) ((((triple3) -> rule7)) -> rule3)) -> rule5))] Erin is nice.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5 OR ((((triple3) -> rule7)) -> rule3))] Fiona is rough.[(triple6 OR ((((triple7) -> rule8) triple7) -> rule6))] Fiona is young.[(triple7 OR ((triple6) -> rule3))] Gary is blue.[(triple8 OR ((((((triple9) -> rule7)) -> rule3)) -> rule8) OR ((((((triple10 ((((triple9) -> rule7)) -> rule3)) -> rule4) ((((triple9) -> rule7)) -> rule3)) -> rule5)) -> rule2))] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Erin is kind.[(((triple4 triple5) -> rule4) OR ((triple4 ((((triple3) -> rule7)) -> rule3)) -> rule4))] Erin is rough.[(((triple3) -> rule7) OR ((triple1 triple5) -> rule6) OR ((((triple2) -> rule2) triple5) -> rule6) OR ((((triple5) -> rule8) triple5) -> rule6) OR ((((((((triple4 triple5) -> rule4) triple5) -> rule5)) -> rule2) triple5) -> rule6))] Fiona is blue.[(((triple7) -> rule8) OR ((((triple6) -> rule3)) -> rule8))] Gary is rough.[(((triple9) -> rule7))] @2: Gary is young.[(((((triple9) -> rule7)) -> rule3))] @3: Gary is kind.[(((triple10 ((((triple9) -> rule7)) -> rule3)) -> rule4))] @4: Gary is furry.[(((((triple10 ((((triple9) -> rule7)) -> rule3)) -> rule4) ((((triple9) -> rule7)) -> rule3)) -> rule5))]