Anne is furry. Anne is kind. Anne is rough. Erin is furry. Erin is red. Erin is rough. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. All cold, rough people are red. If someone is furry then they are rough. If Erin is nice then Erin is red. Smart people are nice. Red, rough people are nice. Red, smart people are furry. All rough people are cold. If Anne is smart and Anne is red then Anne is furry.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule2))] Erin is furry.[(triple4)] Erin is red.[(triple5 OR ((((triple6) -> rule7) triple6) -> rule1) OR ((((triple6) -> rule7) ((triple4) -> rule2)) -> rule1) OR ((((((triple4) -> rule2)) -> rule7) triple6) -> rule1) OR ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule1))] Erin is rough.[(triple6 OR ((triple4) -> rule2))] Fiona is kind.[(triple7)] Fiona is nice.[(triple8 OR ((triple10) -> rule4) OR ((triple9 ((((triple9 triple10) -> rule6)) -> rule2)) -> rule5))] Fiona is red.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is cold.[(((triple3) -> rule7) OR ((((triple1) -> rule2)) -> rule7))] Erin is cold.[(((triple6) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] Erin is nice.[(((triple5 triple6) -> rule5) OR ((triple5 ((triple4) -> rule2)) -> rule5) OR ((((((triple6) -> rule7) triple6) -> rule1) triple6) -> rule5) OR ((((((triple6) -> rule7) triple6) -> rule1) ((triple4) -> rule2)) -> rule5) OR ((((((triple6) -> rule7) ((triple4) -> rule2)) -> rule1) triple6) -> rule5) OR ((((((triple6) -> rule7) ((triple4) -> rule2)) -> rule1) ((triple4) -> rule2)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule7) triple6) -> rule1) triple6) -> rule5) OR ((((((((triple4) -> rule2)) -> rule7) triple6) -> rule1) ((triple4) -> rule2)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule1) triple6) -> rule5) OR ((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule1) ((triple4) -> rule2)) -> rule5))] Fiona is furry.[(((triple9 triple10) -> rule6))] @2: Anne is red.[(((((triple3) -> rule7) triple3) -> rule1) OR ((((triple3) -> rule7) ((triple1) -> rule2)) -> rule1) OR ((((((triple1) -> rule2)) -> rule7) triple3) -> rule1) OR ((((((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule1))] Fiona is rough.[(((((triple9 triple10) -> rule6)) -> rule2))] @3: Anne is nice.[(((((((triple3) -> rule7) triple3) -> rule1) triple3) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule1) ((triple1) -> rule2)) -> rule5) OR ((((((triple3) -> rule7) ((triple1) -> rule2)) -> rule1) triple3) -> rule5) OR ((((((triple3) -> rule7) ((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule7) triple3) -> rule1) triple3) -> rule5) OR ((((((((triple1) -> rule2)) -> rule7) triple3) -> rule1) ((triple1) -> rule2)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule1) triple3) -> rule5) OR ((((((((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule5))] Fiona is cold.[(((((((triple9 triple10) -> rule6)) -> rule2)) -> rule7))]