Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. If someone is red and green then they are furry. If Fiona is red and Fiona is furry then Fiona is quiet. If Fiona is smart and Fiona is quiet then Fiona is round. All rough people are furry. If Fiona is green and Fiona is quiet then Fiona is smart. Smart, rough people are green. All smart people are round. Quiet people are round.
Fiona is rough.
@0: Fiona is furry.[(triple1 OR ((triple5) -> rule4) OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple7 triple5) -> rule6)) -> rule1))] Fiona is green.[(triple2 OR ((triple7 triple5) -> rule6))] Fiona is quiet.[(triple3 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple5) -> rule4)) -> rule2) OR ((triple4 ((triple4 triple2) -> rule1)) -> rule2) OR ((triple4 ((triple4 ((triple7 triple5) -> rule6)) -> rule1)) -> rule2))] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple3) -> rule8) OR ((triple7) -> rule7) OR ((triple7 triple3) -> rule3) OR ((((triple2 triple3) -> rule5)) -> rule7) OR ((((triple4 triple1) -> rule2)) -> rule8) OR ((triple7 ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule5) triple3) -> rule3) OR ((((triple2 triple3) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple2 ((triple4 triple1) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule8) OR ((triple7 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule3) OR ((triple7 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 triple1) -> rule2)) -> rule5) triple3) -> rule3) OR ((((triple2 triple3) -> rule5) ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule5) ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 triple1) -> rule2)) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple2 ((triple4 triple1) -> rule2)) -> rule5) ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 triple1) -> rule2)) -> rule5) ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((triple2 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule5)) -> rule7) OR ((((triple4 ((triple4 ((triple7 triple5) -> rule6)) -> rule1)) -> rule2)) -> rule8) OR ((triple7 ((triple4 ((triple4 ((triple7 triple5) -> rule6)) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5) triple3) -> rule3) OR ((((triple2 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule5) triple3) -> rule3) OR ((((triple2 triple3) -> rule5) ((triple4 ((triple4 ((triple7 triple5) -> rule6)) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple2 ((triple4 triple1) -> rule2)) -> rule5) ((triple4 ((triple4 ((triple7 triple5) -> rule6)) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5) ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5) ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule5) ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule5) ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5) ((triple4 ((triple4 ((triple7 triple5) -> rule6)) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule5) ((triple4 ((triple4 ((triple7 triple5) -> rule6)) -> rule1)) -> rule2)) -> rule3))] Fiona is smart.[(triple7 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple4 triple1) -> rule2)) -> rule5) OR ((triple2 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple2 ((triple4 ((triple4 triple2) -> rule1)) -> rule2)) -> rule5))]