Anne is big. Anne is nice. Anne is red. Anne is rough. Anne is smart. Dave is nice. Dave is red. Dave is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is smart. Gary is big. Gary is rough. Cold people are smart. Red people are rough. All blue, rough people are big. If Gary is smart then Gary is red. If Fiona is nice and Fiona is big then Fiona is cold. Rough people are red. All red people are nice. Rough, smart people are red.
Gary is not smart.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule7) OR ((((triple4) -> rule6)) -> rule7) OR ((((triple4 triple5) -> rule8)) -> rule7))] Anne is red.[(triple3 OR ((triple4) -> rule6) OR ((triple4 triple5) -> rule8))] Anne is rough.[(triple4 OR ((triple3) -> rule2))] Anne is smart.[(triple5)] Dave is nice.[(triple6 OR ((triple7) -> rule7))] Dave is red.[(triple7)] Dave is smart.[(triple8)] Fiona is big.[(triple9 OR ((triple10 triple13) -> rule3))] Fiona is blue.[(triple10)] Fiona is cold.[(triple11 OR ((triple12 triple9) -> rule5) OR ((triple12 ((triple10 triple13) -> rule3)) -> rule5) OR ((((((triple13) -> rule6)) -> rule7) triple9) -> rule5) OR ((((((triple13 triple14) -> rule8)) -> rule7) triple9) -> rule5) OR ((((((triple13) -> rule6)) -> rule7) ((triple10 triple13) -> rule3)) -> rule5) OR ((((((triple13 triple14) -> rule8)) -> rule7) ((triple10 triple13) -> rule3)) -> rule5))] Fiona is nice.[(triple12 OR ((((triple13) -> rule6)) -> rule7) OR ((((triple13 triple14) -> rule8)) -> rule7) OR ((((triple13 ((triple11) -> rule1)) -> rule8)) -> rule7))] Fiona is rough.[(triple13)] Fiona is smart.[(triple14 OR ((triple11) -> rule1) OR ((((triple12 triple9) -> rule5)) -> rule1) OR ((((triple12 ((triple10 triple13) -> rule3)) -> rule5)) -> rule1) OR ((((((((triple13) -> rule6)) -> rule7) triple9) -> rule5)) -> rule1) OR ((((((((triple13) -> rule6)) -> rule7) ((triple10 triple13) -> rule3)) -> rule5)) -> rule1))] Gary is big.[(triple15)] Gary is rough.[(triple16)] @1: Dave is rough.[(((triple7) -> rule2))] Fiona is red.[(((triple13) -> rule6) OR ((triple13 triple14) -> rule8) OR ((triple13 ((triple11) -> rule1)) -> rule8) OR ((triple13 ((((triple12 triple9) -> rule5)) -> rule1)) -> rule8) OR ((triple13 ((((triple12 ((triple10 triple13) -> rule3)) -> rule5)) -> rule1)) -> rule8))] Gary is red.[(((triple16) -> rule6))] @2: Gary is nice.[(((((triple16) -> rule6)) -> rule7))]