Bob is smart. Fiona is cold. Fiona is kind. Fiona is red. Fiona is white. Gary is cold. Gary is smart. Gary is young. Harry is big. Harry is white. Kind people are red. If someone is smart then they are kind. All young, cold people are kind. Cold, kind people are big. All red, cold people are big. If someone is young and red then they are cold. If Harry is young then Harry is big. Red, kind people are young.
Harry is cold.
@0: Bob is smart.[(triple1)] Fiona is cold.[(triple2 OR ((((triple4 triple3) -> rule8) triple4) -> rule6) OR ((((triple4 triple3) -> rule8) ((triple3) -> rule1)) -> rule6) OR ((((((triple3) -> rule1) triple3) -> rule8) triple4) -> rule6) OR ((((((triple3) -> rule1) triple3) -> rule8) ((triple3) -> rule1)) -> rule6))] Fiona is kind.[(triple3)] Fiona is red.[(triple4 OR ((triple3) -> rule1))] Fiona is white.[(triple5)] Gary is cold.[(triple6 OR ((triple8 ((((triple7) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule2)) -> rule1)) -> rule6))] Gary is smart.[(triple7)] Gary is young.[(triple8 OR ((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule8))] Harry is big.[(triple9)] Harry is white.[(triple10)] @1: Bob is kind.[(((triple1) -> rule2))] Fiona is big.[(((triple2 triple3) -> rule4) OR ((triple4 triple2) -> rule5) OR ((((triple3) -> rule1) triple2) -> rule5) OR ((triple4 ((((triple4 triple3) -> rule8) triple4) -> rule6)) -> rule5) OR ((((((triple4 triple3) -> rule8) triple4) -> rule6) triple3) -> rule4) OR ((triple4 ((((triple4 triple3) -> rule8) ((triple3) -> rule1)) -> rule6)) -> rule5) OR ((((triple3) -> rule1) ((((triple4 triple3) -> rule8) triple4) -> rule6)) -> rule5) OR ((((((triple4 triple3) -> rule8) ((triple3) -> rule1)) -> rule6) triple3) -> rule4) OR ((((triple3) -> rule1) ((((triple4 triple3) -> rule8) ((triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple4 ((((((triple3) -> rule1) triple3) -> rule8) triple4) -> rule6)) -> rule5) OR ((((((((triple3) -> rule1) triple3) -> rule8) triple4) -> rule6) triple3) -> rule4) OR ((triple4 ((((((triple3) -> rule1) triple3) -> rule8) ((triple3) -> rule1)) -> rule6)) -> rule5) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) triple3) -> rule8) triple4) -> rule6)) -> rule5) OR ((((((((triple3) -> rule1) triple3) -> rule8) ((triple3) -> rule1)) -> rule6) triple3) -> rule4) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) triple3) -> rule8) ((triple3) -> rule1)) -> rule6)) -> rule5))] Fiona is young.[(((triple4 triple3) -> rule8) OR ((((triple3) -> rule1) triple3) -> rule8))] Gary is kind.[(((triple7) -> rule2) OR ((triple8 triple6) -> rule3))] @2: Bob is red.[(((((triple1) -> rule2)) -> rule1))] Gary is big.[(((triple6 ((triple7) -> rule2)) -> rule4) OR ((triple6 ((triple8 triple6) -> rule3)) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) triple6) -> rule5) OR ((((((triple8 triple6) -> rule3)) -> rule1) triple6) -> rule5) OR ((((triple8 ((((triple7) -> rule2)) -> rule1)) -> rule6) ((triple7) -> rule2)) -> rule4) OR ((((triple8 ((((triple7) -> rule2)) -> rule1)) -> rule6) ((triple8 triple6) -> rule3)) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) ((triple8 ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple8 triple6) -> rule3)) -> rule1) ((triple8 ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((((((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule2)) -> rule1)) -> rule6) ((triple7) -> rule2)) -> rule4) OR ((((((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule2)) -> rule1)) -> rule6) ((triple8 triple6) -> rule3)) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) ((((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple8 triple6) -> rule3)) -> rule1) ((((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule5))] Gary is red.[(((((triple7) -> rule2)) -> rule1) OR ((((triple8 triple6) -> rule3)) -> rule1))] @3: Bob is young.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule8))] @4: Bob is cold.[(((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule8) ((((triple1) -> rule2)) -> rule1)) -> rule6))] @5: Bob is big.[(((((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule8) ((((triple1) -> rule2)) -> rule1)) -> rule6) ((triple1) -> rule2)) -> rule4) OR ((((((triple1) -> rule2)) -> rule1) ((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule8) ((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule5))]