Erin is red. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is round. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is round. All nice people are cold. Blue people are cold. If someone is round then they are blue. Big, blue people are red. If someone is red and big then they are blue. If someone is blue then they are big. If someone is blue and red then they are nice. If someone is cold then they are blue.
Fiona is red.
@0: Erin is red.[(triple1)] Fiona is cold.[(triple2 OR ((triple3) -> rule1) OR ((((triple5) -> rule3)) -> rule2) OR ((((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1))] Fiona is nice.[(triple3 OR ((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7))] Fiona is quiet.[(triple4)] Fiona is round.[(triple5)] Gary is big.[(triple6 OR ((triple7) -> rule6) OR ((((triple10) -> rule3)) -> rule6) OR ((((((triple8) -> rule1)) -> rule8)) -> rule6))] Gary is blue.[(triple7 OR ((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule8))] Gary is nice.[(triple8 OR ((triple7 ((triple6 triple7) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((triple6 triple7) -> rule4)) -> rule7) OR ((triple7 ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule7) OR ((triple7 ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((triple7) -> rule6) triple7) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((triple7 ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7) OR ((triple7 ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7))] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Fiona is blue.[(((triple2) -> rule8) OR ((triple5) -> rule3) OR ((((triple3) -> rule1)) -> rule8))] Gary is cold.[(((triple7) -> rule2) OR ((triple8) -> rule1) OR ((((triple10) -> rule3)) -> rule2) OR ((((triple7 ((triple6 triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((triple6 triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((triple7) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1))] Gary is red.[(((triple6 triple7) -> rule4) OR ((triple6 ((triple10) -> rule3)) -> rule4) OR ((((triple7) -> rule6) triple7) -> rule4) OR ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((triple6 ((((triple8) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4) OR ((((triple7) -> rule6) ((((triple8) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((((triple10) -> rule3)) -> rule6) ((((triple8) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule1)) -> rule8)) -> rule6) triple7) -> rule4) OR ((((((((triple8) -> rule1)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((((((triple8) -> rule1)) -> rule8)) -> rule6) ((((triple8) -> rule1)) -> rule8)) -> rule4))] @2: Fiona is big.[(((((triple2) -> rule8)) -> rule6) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple3) -> rule1)) -> rule8)) -> rule6))] @3: Fiona is red.[(((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4))]