Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Erin is cold. Erin is nice. Erin is red. Erin is round. Erin is white. Fiona is cold. Fiona is nice. Fiona is round. Fiona is white. Round, white people are red. Cold people are rough. All white people are cold. If someone is white and quiet then they are cold. If someone is rough and cold then they are quiet. If Erin is rough then Erin is cold. Red people are cold. If Charlie is round and Charlie is white then Charlie is cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Round, white people are red.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and quiet then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is rough then Erin is cold.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "cold" "+"))
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is round and Charlie is white then Charlie is cold.
((("Charlie" "is" "round" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "cold" "+"))
Erin is round.
True
1
proof
[(triple11)]
("Erin" "is" "round" "+")
triple11
Charlie is not round.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "round" "-")
triple6
Erin is rough.
True
2
proof
[(((triple8) -> rule2) OR ((((triple10) -> rule7)) -> rule2) OR ((((triple12) -> rule3)) -> rule2) OR ((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2))]
("Erin" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple11 triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Fiona is not rough.
False
2
inv-proof
[(((triple13) -> rule2) OR ((((triple16) -> rule3)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule7)) -> rule2))]
("Fiona" "is" "rough" "-")
((triple13) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple16) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple15 triple16) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Erin is quiet.
True
4
proof
[(((((triple8) -> rule2) triple8) -> rule5) OR ((((triple8) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((triple8) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) triple8) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) triple8) -> rule5) OR ((((triple8) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) triple8) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5))]
("Erin" "is" "quiet" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple8) -> (rule2 % int3)) ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple8) -> (rule2 % int4)) ((((triple11 triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple12) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is not quiet.
False
4
inv-proof
[(((((triple8) -> rule2) triple8) -> rule5) OR ((((triple8) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((triple8) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) triple8) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) triple8) -> rule5) OR ((((triple8) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) triple8) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5))]
("Erin" "is" "quiet" "-")
((((triple8) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple8) -> (rule2 % int3)) ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple8) -> (rule2 % int4)) ((((triple11 triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple12) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
@0: Charlie is cold.[(triple1 OR ((triple4) -> rule7) OR ((triple7) -> rule3) OR ((triple6 triple7) -> rule8) OR ((triple7 triple3) -> rule4) OR ((((triple6 triple7) -> rule1)) -> rule7))] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple4) -> rule7)) -> rule5) OR ((triple5 ((triple7) -> rule3)) -> rule5) OR ((triple5 ((triple6 triple7) -> rule8)) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule5) OR ((((triple1) -> rule2) ((triple4) -> rule7)) -> rule5) OR ((((triple1) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((triple6 triple7) -> rule8)) -> rule5) OR ((triple5 ((((triple6 triple7) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4) -> rule7)) -> rule2) triple1) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) triple1) -> rule5) OR ((((((triple6 triple7) -> rule8)) -> rule2) triple1) -> rule5) OR ((((triple1) -> rule2) ((((triple6 triple7) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule5) OR ((((((triple4) -> rule7)) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((((triple4) -> rule7)) -> rule2) ((triple6 triple7) -> rule8)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((triple4) -> rule7)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((triple6 triple7) -> rule8)) -> rule5) OR ((((((triple6 triple7) -> rule8)) -> rule2) ((triple4) -> rule7)) -> rule5) OR ((((((triple6 triple7) -> rule8)) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((((triple6 triple7) -> rule8)) -> rule2) ((triple6 triple7) -> rule8)) -> rule5) OR ((((((triple4) -> rule7)) -> rule2) ((((triple6 triple7) -> rule1)) -> rule7)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((((triple6 triple7) -> rule1)) -> rule7)) -> rule5) OR ((((((triple6 triple7) -> rule8)) -> rule2) ((((triple6 triple7) -> rule1)) -> rule7)) -> rule5) OR ((((((((triple6 triple7) -> rule1)) -> rule7)) -> rule2) triple1) -> rule5) OR ((((((((triple6 triple7) -> rule1)) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule5) OR ((((((((triple6 triple7) -> rule1)) -> rule7)) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((((((triple6 triple7) -> rule1)) -> rule7)) -> rule2) ((triple6 triple7) -> rule8)) -> rule5) OR ((((((((triple6 triple7) -> rule1)) -> rule7)) -> rule2) ((((triple6 triple7) -> rule1)) -> rule7)) -> rule5))] Charlie is red.[(triple4 OR ((triple6 triple7) -> rule1))] Charlie is rough.[(triple5 OR ((triple1) -> rule2) OR ((((triple4) -> rule7)) -> rule2) OR ((((triple7) -> rule3)) -> rule2) OR ((((triple6 triple7) -> rule8)) -> rule2) OR ((((triple7 triple3) -> rule4)) -> rule2) OR ((((((triple6 triple7) -> rule1)) -> rule7)) -> rule2))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule7) OR ((triple12) -> rule3) OR ((((triple11 triple12) -> rule1)) -> rule7))] Erin is nice.[(triple9)] Erin is red.[(triple10 OR ((triple11 triple12) -> rule1))] Erin is round.[(triple11)] Erin is white.[(triple12)] Fiona is cold.[(triple13 OR ((triple16) -> rule3) OR ((((triple15 triple16) -> rule1)) -> rule7))] Fiona is nice.[(triple14)] Fiona is round.[(triple15)] Fiona is white.[(triple16)] @1: Erin is rough.[(((triple8) -> rule2) OR ((((triple10) -> rule7)) -> rule2) OR ((((triple12) -> rule3)) -> rule2) OR ((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2))] Fiona is red.[(((triple15 triple16) -> rule1))] Fiona is rough.[(((triple13) -> rule2) OR ((((triple16) -> rule3)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule7)) -> rule2))] @2: Erin is quiet.[(((((triple8) -> rule2) triple8) -> rule5) OR ((((triple8) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((triple8) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) triple8) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) triple8) -> rule5) OR ((((triple8) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((triple12) -> rule3)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) triple8) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((triple10) -> rule7)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((triple12) -> rule3)) -> rule5) OR ((((((((triple11 triple12) -> rule1)) -> rule7)) -> rule2) ((((triple11 triple12) -> rule1)) -> rule7)) -> rule5))] Fiona is quiet.[(((((triple13) -> rule2) triple13) -> rule5) OR ((((triple13) -> rule2) ((triple16) -> rule3)) -> rule5) OR ((((((triple16) -> rule3)) -> rule2) triple13) -> rule5) OR ((((triple13) -> rule2) ((((triple15 triple16) -> rule1)) -> rule7)) -> rule5) OR ((((((triple16) -> rule3)) -> rule2) ((triple16) -> rule3)) -> rule5) OR ((((((triple16) -> rule3)) -> rule2) ((((triple15 triple16) -> rule1)) -> rule7)) -> rule5) OR ((((((((triple15 triple16) -> rule1)) -> rule7)) -> rule2) triple13) -> rule5) OR ((((((((triple15 triple16) -> rule1)) -> rule7)) -> rule2) ((triple16) -> rule3)) -> rule5) OR ((((((((triple15 triple16) -> rule1)) -> rule7)) -> rule2) ((((triple15 triple16) -> rule1)) -> rule7)) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple4) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple6 triple7) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 triple3) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple6 triple7) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((triple5 triple1) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple5 ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((triple5 ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((triple5 ((triple6 triple7) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple6 triple7) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((((triple6 triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple6 triple7) -> (rule8 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple1) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple4) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple7) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple6 triple7) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) ((triple4) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) ((triple7) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6 triple7) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple6 triple7) -> (rule8 % int3))) -> (rule2 % int2)) ((triple4) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple6 triple7) -> (rule8 % int3))) -> (rule2 % int2)) ((triple7) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple6 triple7) -> (rule8 % int3))) -> (rule2 % int2)) ((triple6 triple7) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple6 triple7) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple7) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple6 triple7) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple6 triple7) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple6 triple7) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple6 triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple6 triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple4) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple6 triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple7) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple6 triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple6 triple7) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple6 triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple6 triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
triple4
((triple6 triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple6 triple7) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple7 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple6 triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple10) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple12) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
((triple11 triple12) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
((triple16) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple15 triple16) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Erin is rough.
("Erin" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple11 triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((triple15 triple16) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple13) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple16) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple15 triple16) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple8) -> (rule2 % int3)) ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple8) -> (rule2 % int4)) ((((triple11 triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple12) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple11 triple12) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple10) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple12) -> (rule3 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple11 triple12) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple13) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple13) -> (rule2 % int3)) ((triple16) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple16) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple13) -> (rule2 % int4)) ((((triple15 triple16) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple16) -> (rule3 % int3))) -> (rule2 % int2)) ((triple16) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple16) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple15 triple16) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple15 triple16) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple15 triple16) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple16) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple15 triple16) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple15 triple16) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4