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