Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Harry is white. All round, rough things are cold. Rough, nice things are red. All white things are nice. All round, red things are quiet. If something is white and cold then it is rough. All cold, round things are nice. If something is quiet then it is rough. If something is nice and rough then it is round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All round, rough things are cold.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Rough, nice things are red.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
All white things are nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
All round, red things are quiet.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is white and cold then it is rough.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All cold, round things are nice.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is nice and rough then it is round.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Anne is quiet.
True
1
proof
[(triple3 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple5 triple2) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) triple4) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((triple6 ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((triple6 ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) triple4) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) triple4) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) triple4) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((triple6 ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4))]
("Anne" "is" "quiet" "+")
triple3
((triple6 triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple6 ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2 triple5) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple5) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((triple5 ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((((triple7 triple1) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple2 ((triple7 triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule3 % int3)) triple5) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((((triple7 triple1) -> (rule5 % int4)) ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple6 ((((triple7 triple1) -> (rule5 % int4)) ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple2 triple5) -> (rule8 % int4)) ((triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 triple5) -> (rule8 % int4)) ((triple5 ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4)) ((triple7 triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple2 triple5) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int4)) ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 triple5) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int4)) ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple5 ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple5 ((triple7) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple5 ((triple1 triple6) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int5)) ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int5)) ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) ((triple7) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) ((triple1 triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 ((triple7) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 ((triple1 triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) ((triple7) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) ((triple1 triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple6 ((triple5 ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((triple6 ((((triple7 triple1) -> (rule5 % int5)) ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 triple5) -> (rule8 % int5)) ((triple5 ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 triple5) -> (rule8 % int6)) ((((triple7 triple1) -> (rule5 % int5)) ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((triple2 ((triple7 triple1) -> (rule5 % int6))) -> (rule8 % int5)) ((triple5 ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((triple5 ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int6))) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int6)) ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple7) -> (rule3 % int6)) triple5) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int4)) ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple7) -> (rule3 % int6)) ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple5 ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple7) -> (rule3 % int6)) ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int5)) ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple3) -> rule7)) -> rule1) OR ((((triple2 triple5) -> rule8) triple5) -> rule1) OR ((((triple2 triple5) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((triple6 ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple2 ((triple3) -> rule7)) -> rule8) triple5) -> rule1) OR ((((((triple7) -> rule3) triple5) -> rule8) triple5) -> rule1) OR ((((triple2 triple5) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple2 ((triple3) -> rule7)) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) ((triple3) -> rule7)) -> rule8) triple5) -> rule1) OR ((((triple2 ((triple3) -> rule7)) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) ((triple3) -> rule7)) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) ((triple3) -> rule7)) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1))]
("Anne" "is" "cold" "-")
triple1
((triple6 triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple6 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2 triple5) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple5) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((((triple6 triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule3 % int3)) triple5) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple2 triple5) -> (rule8 % int4)) ((((triple6 triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) ((triple3) -> (rule7 % int3))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4)) ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple2 ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple4) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple6 triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int4)) ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) ((triple3) -> (rule7 % int3))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int5)) ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple4) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Fiona is rough.
True
2
proof
[(((triple9) -> rule7) OR ((((triple11 triple10) -> rule4)) -> rule7))]
("Fiona" "is" "rough" "+")
((triple9) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not rough.
False
2
inv-proof
[(((triple9) -> rule7) OR ((((triple11 triple10) -> rule4)) -> rule7))]
("Fiona" "is" "rough" "-")
((triple9) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is round.
True
4
proof
[(((((triple16) -> rule3) triple15) -> rule8) OR ((((triple16) -> rule3) ((triple13) -> rule7)) -> rule8) OR ((((triple16) -> rule3) ((triple16 triple12) -> rule5)) -> rule8))]
("Harry" "is" "round" "+")
((((triple16) -> (rule3 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple16) -> (rule3 % int3)) ((triple13) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple16) -> (rule3 % int3)) ((triple16 triple12) -> (rule5 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Fiona is not cold.
False
4
inv-proof
[(((triple11 ((triple9) -> rule7)) -> rule1) OR ((triple11 ((((triple11 triple10) -> rule4)) -> rule7)) -> rule1) OR ((((triple8 ((triple9) -> rule7)) -> rule8) ((triple9) -> rule7)) -> rule1) OR ((((triple8 ((triple9) -> rule7)) -> rule8) ((((triple11 triple10) -> rule4)) -> rule7)) -> rule1))]
("Fiona" "is" "cold" "-")
((triple11 ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple11 ((((triple11 triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple8 ((triple9) -> (rule7 % int3))) -> (rule8 % int2)) ((triple9) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple8 ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple11 triple10) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
@0: Anne is cold.[(triple1 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple3) -> rule7)) -> rule1) OR ((((triple2 triple5) -> rule8) triple5) -> rule1) OR ((((triple2 triple5) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((triple6 ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple2 ((triple3) -> rule7)) -> rule8) triple5) -> rule1) OR ((((((triple7) -> rule3) triple5) -> rule8) triple5) -> rule1) OR ((((triple2 triple5) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple2 ((triple3) -> rule7)) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) ((triple3) -> rule7)) -> rule8) triple5) -> rule1) OR ((((triple2 ((triple3) -> rule7)) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) ((triple3) -> rule7)) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule3) ((triple3) -> rule7)) -> rule8) ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1))] Anne is nice.[(triple2 OR ((triple7) -> rule3) OR ((triple1 triple6) -> rule6) OR ((((triple6 triple5) -> rule1) triple6) -> rule6) OR ((((triple6 ((triple3) -> rule7)) -> rule1) triple6) -> rule6) OR ((((triple6 ((((triple6 triple4) -> rule4)) -> rule7)) -> rule1) triple6) -> rule6))] Anne is quiet.[(triple3 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple5 triple2) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) triple4) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((triple6 ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((triple6 ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) triple4) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) triple4) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) triple4) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2)) -> rule4) OR ((triple6 ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((triple6 ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8) ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2)) -> rule4))] Anne is red.[(triple4 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple7) -> rule3)) -> rule2) OR ((triple5 ((triple1 triple6) -> rule6)) -> rule2) OR ((((triple3) -> rule7) triple2) -> rule2) OR ((((triple7 triple1) -> rule5) triple2) -> rule2) OR ((((triple3) -> rule7) ((triple7) -> rule3)) -> rule2) OR ((((triple3) -> rule7) ((triple1 triple6) -> rule6)) -> rule2) OR ((((triple7 triple1) -> rule5) ((triple7) -> rule3)) -> rule2) OR ((((triple7 triple1) -> rule5) ((triple1 triple6) -> rule6)) -> rule2) OR ((triple5 ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2) OR ((((triple3) -> rule7) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2) OR ((((triple7 triple1) -> rule5) ((((triple6 triple5) -> rule1) triple6) -> rule6)) -> rule2) OR ((triple5 ((((triple6 ((triple3) -> rule7)) -> rule1) triple6) -> rule6)) -> rule2) OR ((((triple3) -> rule7) ((((triple6 ((triple3) -> rule7)) -> rule1) triple6) -> rule6)) -> rule2) OR ((((triple7 triple1) -> rule5) ((((triple6 ((triple3) -> rule7)) -> rule1) triple6) -> rule6)) -> rule2))] Anne is rough.[(triple5 OR ((triple3) -> rule7) OR ((triple7 triple1) -> rule5) OR ((((triple6 triple4) -> rule4)) -> rule7))] Anne is round.[(triple6 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple3) -> rule7)) -> rule8) OR ((triple2 ((triple7 triple1) -> rule5)) -> rule8) OR ((((triple7) -> rule3) triple5) -> rule8) OR ((((triple7) -> rule3) ((triple3) -> rule7)) -> rule8) OR ((((triple7) -> rule3) ((triple7 triple1) -> rule5)) -> rule8))] Anne is white.[(triple7)] Fiona is nice.[(triple8 OR ((((triple11 ((triple9) -> rule7)) -> rule1) triple11) -> rule6) OR ((((triple11 ((((triple11 triple10) -> rule4)) -> rule7)) -> rule1) triple11) -> rule6))] Fiona is quiet.[(triple9 OR ((triple11 triple10) -> rule4))] Fiona is red.[(triple10 OR ((((triple9) -> rule7) triple8) -> rule2) OR ((((triple9) -> rule7) ((((triple11 ((triple9) -> rule7)) -> rule1) triple11) -> rule6)) -> rule2))] Fiona is round.[(triple11 OR ((triple8 ((triple9) -> rule7)) -> rule8))] Harry is cold.[(triple12 OR ((((((triple16) -> rule3) triple15) -> rule8) triple15) -> rule1) OR ((((((triple16) -> rule3) triple15) -> rule8) ((triple13) -> rule7)) -> rule1) OR ((((((triple16) -> rule3) ((triple13) -> rule7)) -> rule8) triple15) -> rule1) OR ((((((triple16) -> rule3) ((triple13) -> rule7)) -> rule8) ((triple13) -> rule7)) -> rule1))] Harry is quiet.[(triple13 OR ((((((triple16) -> rule3) triple15) -> rule8) triple14) -> rule4) OR ((((((triple16) -> rule3) ((triple16 triple12) -> rule5)) -> rule8) triple14) -> rule4) OR ((((((triple16) -> rule3) triple15) -> rule8) ((triple15 ((triple16) -> rule3)) -> rule2)) -> rule4) OR ((((((triple16) -> rule3) triple15) -> rule8) ((((triple16 triple12) -> rule5) ((triple16) -> rule3)) -> rule2)) -> rule4) OR ((((((triple16) -> rule3) ((triple16 triple12) -> rule5)) -> rule8) ((triple15 ((triple16) -> rule3)) -> rule2)) -> rule4) OR ((((((triple16) -> rule3) ((triple16 triple12) -> rule5)) -> rule8) ((((triple16 triple12) -> rule5) ((triple16) -> rule3)) -> rule2)) -> rule4))] Harry is red.[(triple14 OR ((triple15 ((triple16) -> rule3)) -> rule2) OR ((((triple13) -> rule7) ((triple16) -> rule3)) -> rule2) OR ((((triple16 triple12) -> rule5) ((triple16) -> rule3)) -> rule2))] Harry is rough.[(triple15 OR ((triple13) -> rule7) OR ((triple16 triple12) -> rule5))] Harry is white.[(triple16)] @1: Fiona is rough.[(((triple9) -> rule7) OR ((((triple11 triple10) -> rule4)) -> rule7))] Harry is nice.[(((triple16) -> rule3))] @2: Fiona is cold.[(((triple11 ((triple9) -> rule7)) -> rule1) OR ((triple11 ((((triple11 triple10) -> rule4)) -> rule7)) -> rule1) OR ((((triple8 ((triple9) -> rule7)) -> rule8) ((triple9) -> rule7)) -> rule1) OR ((((triple8 ((triple9) -> rule7)) -> rule8) ((((triple11 triple10) -> rule4)) -> rule7)) -> rule1))] Harry is round.[(((((triple16) -> rule3) triple15) -> rule8) OR ((((triple16) -> rule3) ((triple13) -> rule7)) -> rule8) OR ((((triple16) -> rule3) ((triple16 triple12) -> rule5)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple6 triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple6 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2 triple5) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple5) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((((triple6 triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule3 % int3)) triple5) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple2 triple5) -> (rule8 % int4)) ((((triple6 triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) ((triple3) -> (rule7 % int3))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4)) ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple2 ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple4) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple6 triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int4)) ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) ((triple3) -> (rule7 % int3))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int5)) ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple4) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple7) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple6) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple6 triple5) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple6 ((triple3) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple6 ((((triple6 triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple6 triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple6 ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2 triple5) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple5) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((triple5 ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((((triple7 triple1) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple2 ((triple7 triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple7) -> (rule3 % int3)) triple5) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple6 ((((triple7 triple1) -> (rule5 % int4)) ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple6 ((((triple7 triple1) -> (rule5 % int4)) ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple2 triple5) -> (rule8 % int4)) ((triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 triple5) -> (rule8 % int4)) ((triple5 ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4)) ((triple7 triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple2 triple5) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int4)) ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 triple5) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int4)) ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple5 ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple5 ((triple7) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple5 ((triple1 triple6) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int5)) ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int5)) ((triple1 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) ((triple7) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int3)) ((triple1 triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 ((triple7) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple5 ((triple1 triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) ((triple7) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple7 triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7 triple1) -> (rule5 % int4)) ((triple1 triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple6 ((triple5 ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((triple6 ((((triple7 triple1) -> (rule5 % int5)) ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 triple5) -> (rule8 % int5)) ((triple5 ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 triple5) -> (rule8 % int6)) ((((triple7 triple1) -> (rule5 % int5)) ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((triple2 ((triple7 triple1) -> (rule5 % int6))) -> (rule8 % int5)) ((triple5 ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple7) -> (rule3 % int5)) triple5) -> (rule8 % int4)) ((triple5 ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2 ((triple7 triple1) -> (rule5 % int6))) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int6)) ((((triple6 triple5) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple7) -> (rule3 % int6)) triple5) -> (rule8 % int5)) ((((triple7 triple1) -> (rule5 % int4)) ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple7) -> (rule3 % int6)) ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple5 ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple7) -> (rule3 % int6)) ((triple7 triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7 triple1) -> (rule5 % int5)) ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple5 triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple5 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple5 ((triple1 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple3) -> (rule7 % int2)) triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple7 triple1) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple1 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple7 triple1) -> (rule5 % int3)) ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple7 triple1) -> (rule5 % int3)) ((triple1 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple5 ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3) -> (rule7 % int4)) ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple7 triple1) -> (rule5 % int4)) ((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple5 ((((triple6 ((triple3) -> (rule7 % int4))) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple3) -> (rule7 % int4)) ((((triple6 ((triple3) -> (rule7 % int4))) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple7 triple1) -> (rule5 % int4)) ((((triple6 ((triple3) -> (rule7 % int4))) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple3) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple7 triple1) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple6 triple4) -> (rule4 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple2 triple5) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2 ((triple3) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple2 ((triple7 triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple7) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple7) -> (rule3 % int3)) ((triple7 triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
((((triple11 ((triple9) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple11 ((((triple11 triple10) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
((triple11 triple10) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple10
((((triple9) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple9) -> (rule7 % int4)) ((((triple11 ((triple9) -> (rule7 % int4))) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple11
((triple8 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((((((triple16) -> (rule3 % int3)) triple15) -> (rule8 % int2)) triple15) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple16) -> (rule3 % int4)) triple15) -> (rule8 % int3)) ((triple13) -> (rule7 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple16) -> (rule3 % int4)) ((triple13) -> (rule7 % int3))) -> (rule8 % int2)) triple15) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple16) -> (rule3 % int4)) ((triple13) -> (rule7 % int3))) -> (rule8 % int2)) ((triple13) -> (rule7 % int3))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((((((triple16) -> (rule3 % int3)) triple15) -> (rule8 % int2)) triple14) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple16) -> (rule3 % int4)) ((triple16 triple12) -> (rule5 % int3))) -> (rule8 % int2)) triple14) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple16) -> (rule3 % int4)) triple15) -> (rule8 % int3)) ((triple15 ((triple16) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple16) -> (rule3 % int5)) triple15) -> (rule8 % int4)) ((((triple16 triple12) -> (rule5 % int3)) ((triple16) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple16) -> (rule3 % int5)) ((triple16 triple12) -> (rule5 % int4))) -> (rule8 % int3)) ((triple15 ((triple16) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple16) -> (rule3 % int5)) ((triple16 triple12) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple16 triple12) -> (rule5 % int4)) ((triple16) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
triple14
((triple15 ((triple16) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple13) -> (rule7 % int3)) ((triple16) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple16 triple12) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
triple15
((triple13) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple16 triple12) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple16
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple9) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple16) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple11 ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple11 ((((triple11 triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple8 ((triple9) -> (rule7 % int3))) -> (rule8 % int2)) ((triple9) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple8 ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple11 triple10) -> (rule4 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((((triple16) -> (rule3 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple16) -> (rule3 % int3)) ((triple13) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple16) -> (rule3 % int3)) ((triple16 triple12) -> (rule5 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3