Anne is rough. Bob is furry. Dave is big. Dave is nice. Dave is rough. Fiona is furry. Fiona is nice. If someone is smart and cold then they are nice. If someone is smart then they are cold. Rough, nice people are red. If someone is rough then they are smart. If Fiona is red then Fiona is big. All furry people are rough. If someone is big then they are rough.
Anne is red.
@0: Anne is rough.[(triple1)] Bob is furry.[(triple2)] Dave is big.[(triple3)] Dave is nice.[(triple4 OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) ((((triple5) -> rule4)) -> rule2)) -> rule1) OR ((((triple5) -> rule4) ((((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) ((((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule1))] Dave is rough.[(triple5 OR ((triple3) -> rule7))] Fiona is furry.[(triple6)] Fiona is nice.[(triple7 OR ((((((triple6) -> rule6)) -> rule4) ((((((triple6) -> rule6)) -> rule4)) -> rule2)) -> rule1))] @1: Anne is smart.[(((triple1) -> rule4))] Bob is rough.[(((triple2) -> rule6))] Dave is red.[(((triple5 triple4) -> rule3) OR ((((triple3) -> rule7) triple4) -> rule3) OR ((triple5 ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((triple5 ((((((triple3) -> rule7)) -> rule4) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((triple3) -> rule7) ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((triple3) -> rule7) ((((((triple3) -> rule7)) -> rule4) ((((triple5) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((triple5 ((((triple5) -> rule4) ((((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((triple5 ((((((triple3) -> rule7)) -> rule4) ((((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((triple3) -> rule7) ((((triple5) -> rule4) ((((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((triple3) -> rule7) ((((((triple3) -> rule7)) -> rule4) ((((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule1)) -> rule3))] Dave is smart.[(((triple5) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] Fiona is rough.[(((triple6) -> rule6))] @2: Anne is cold.[(((((triple1) -> rule4)) -> rule2))] Bob is smart.[(((((triple2) -> rule6)) -> rule4))] Dave is cold.[(((((triple5) -> rule4)) -> rule2) OR ((((((triple3) -> rule7)) -> rule4)) -> rule2))] Fiona is red.[(((((triple6) -> rule6) triple7) -> rule3) OR ((((triple6) -> rule6) ((((((triple6) -> rule6)) -> rule4) ((((((triple6) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3))] Fiona is smart.[(((((triple6) -> rule6)) -> rule4))] @3: Anne is nice.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule1))] Bob is cold.[(((((((triple2) -> rule6)) -> rule4)) -> rule2))] Fiona is big.[(((((((triple6) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple6) -> rule6) ((((((triple6) -> rule6)) -> rule4) ((((((triple6) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule5))] Fiona is cold.[(((((((triple6) -> rule6)) -> rule4)) -> rule2))] @4: Anne is red.[(((triple1 ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule3))] Bob is nice.[(((((((triple2) -> rule6)) -> rule4) ((((((triple2) -> rule6)) -> rule4)) -> rule2)) -> rule1))] @5: Bob is red.[(((((triple2) -> rule6) ((((((triple2) -> rule6)) -> rule4) ((((((triple2) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3))]