Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is smart. Anne is white. Charlie is red. Charlie is white. Dave is cold. Dave is furry. Harry is furry. Harry is smart. If Harry is smart and Harry is kind then Harry is quiet. If something is cold then it is smart. All furry things are smart. Quiet, kind things are red. If something is white and kind then it is quiet. If Harry is red and Harry is smart then Harry is white. If something is furry then it is cold. Cold things are kind. If something is smart then it is furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is smart and Harry is kind then Harry is quiet.
((("Harry" "is" "smart" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "quiet" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
All furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Quiet, kind things are red.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is white and kind then it is quiet.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If Harry is red and Harry is smart then Harry is white.
((("Harry" "is" "red" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "white" "+"))
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is smart then it is furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Anne is kind.
True
1
proof
[(triple3 OR ((triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule8) OR ((((((triple5) -> rule9)) -> rule7)) -> rule8))]
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple5) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule7) OR ((((triple5) -> rule9)) -> rule7))]
("Anne" "is" "cold" "-")
triple1
((triple2) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5) -> (rule9 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Dave is kind.
True
2
proof
[(((triple9) -> rule8) OR ((((triple10) -> rule7)) -> rule8))]
("Dave" "is" "kind" "+")
((triple9) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Harry is not cold.
False
2
inv-proof
[(((triple11) -> rule7) OR ((((triple12) -> rule9)) -> rule7))]
("Harry" "is" "cold" "-")
((triple11) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12) -> (rule9 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
True
3
proof
[(((((triple11) -> rule7)) -> rule8) OR ((((((triple12) -> rule9)) -> rule7)) -> rule8))]
("Harry" "is" "kind" "+")
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple12) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is not kind.
False
3
inv-proof
[(((((triple11) -> rule7)) -> rule8) OR ((((((triple12) -> rule9)) -> rule7)) -> rule8))]
("Harry" "is" "kind" "-")
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple12) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
True
5
proof
[(((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) OR ((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1))]
("Harry" "is" "quiet" "+")
((triple12 ((((triple11) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11) -> (rule3 % int4)) ((((triple11) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple12 ((((((triple12) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple11) -> (rule3 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is not quiet.
False
5
inv-proof
[(((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) OR ((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1))]
("Harry" "is" "quiet" "-")
((triple12 ((((triple11) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11) -> (rule3 % int4)) ((((triple11) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple12 ((((((triple12) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple11) -> (rule3 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is red.
True
9
proof
[(((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4))]
("Harry" "is" "red" "+")
((((triple12 ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple11) -> (rule3 % int5)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple12 ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple12 ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple11) -> (rule3 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple11) -> (rule3 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is not red.
False
9
inv-proof
[(((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4))]
("Harry" "is" "red" "-")
((((triple12 ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple11) -> (rule3 % int5)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple12 ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple12 ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple11) -> (rule3 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple11) -> (rule3 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is white.
True
11
proof
[(((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6))]
("Harry" "is" "white" "+")
((((((triple12 ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int5))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
Harry is not white.
False
11
inv-proof
[(((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6))]
("Harry" "is" "white" "-")
((((((triple12 ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int5))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
Charlie is not cold.
Unknown
inv-rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- rule9 <- rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is quiet.
Unknown
rconc
[@5: Charlie is quiet.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule7 <- rule9 <- rule2 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Charlie is not kind.
Unknown
inv-rconc
[@4: Charlie is kind.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule9 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is smart.
Unknown
rconc
[@4: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- rule7 <- rule9 <- rule3 <- FAIL)]]
("Charlie" "is" "smart" "+")
Charlie is not furry.
Unknown
inv-rconc
[@3: Charlie is furry.[CWA. Example of deepest failure = (rule9 <- rule2 <- rule7 <- FAIL)]]
("Charlie" "is" "furry" "-")
Dave is quiet.
Unknown
rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is cold.[(triple1 OR ((triple2) -> rule7) OR ((((triple5) -> rule9)) -> rule7))] Anne is furry.[(triple2 OR ((triple5) -> rule9) OR ((((triple1) -> rule2)) -> rule9))] Anne is kind.[(triple3 OR ((triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule8) OR ((((((triple5) -> rule9)) -> rule7)) -> rule8))] Anne is quiet.[(triple4 OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple1) -> rule8)) -> rule5) OR ((triple6 ((((triple2) -> rule7)) -> rule8)) -> rule5) OR ((triple6 ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule5))] Anne is smart.[(triple5 OR ((triple1) -> rule2) OR ((triple2) -> rule3) OR ((((triple2) -> rule7)) -> rule2))] Anne is white.[(triple6)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Dave is cold.[(triple9 OR ((triple10) -> rule7))] Dave is furry.[(triple10 OR ((((triple9) -> rule2)) -> rule9))] Harry is furry.[(triple11 OR ((triple12) -> rule9))] Harry is smart.[(triple12 OR ((triple11) -> rule3) OR ((((triple11) -> rule7)) -> rule2))] @1: Anne is red.[(((triple4 triple3) -> rule4) OR ((triple4 ((triple1) -> rule8)) -> rule4) OR ((((triple6 triple3) -> rule5) triple3) -> rule4) OR ((((triple6 triple3) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((triple4 ((((triple2) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((triple1) -> rule8)) -> rule5) triple3) -> rule4) OR ((((triple6 triple3) -> rule5) ((((triple2) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((triple6 ((triple1) -> rule8)) -> rule5) ((((triple2) -> rule7)) -> rule8)) -> rule4) OR ((triple4 ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((((triple2) -> rule7)) -> rule8)) -> rule5) triple3) -> rule4) OR ((((triple6 triple3) -> rule5) ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((((triple2) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((triple6 ((triple1) -> rule8)) -> rule5) ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((((triple2) -> rule7)) -> rule8)) -> rule5) ((((triple2) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((((triple2) -> rule7)) -> rule8)) -> rule5) ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule5) triple3) -> rule4) OR ((((triple6 ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((triple6 ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule5) ((((triple2) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule5) ((((((triple5) -> rule9)) -> rule7)) -> rule8)) -> rule4))] Dave is kind.[(((triple9) -> rule8) OR ((((triple10) -> rule7)) -> rule8))] Dave is smart.[(((triple10) -> rule3) OR ((triple9) -> rule2) OR ((((triple10) -> rule7)) -> rule2))] Harry is cold.[(((triple11) -> rule7) OR ((((triple12) -> rule9)) -> rule7))] @2: Harry is kind.[(((((triple11) -> rule7)) -> rule8) OR ((((((triple12) -> rule9)) -> rule7)) -> rule8))] @3: Harry is quiet.[(((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) OR ((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) OR ((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1))] @4: Harry is red.[(((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4))] @5: Harry is white.[(((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((triple11) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((triple12 ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) triple12) -> rule6) OR ((((((((triple11) -> rule3) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((triple11) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((((((triple11) -> rule7)) -> rule2) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule1) ((((((triple12) -> rule9)) -> rule7)) -> rule8)) -> rule4) ((((triple11) -> rule7)) -> rule2)) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple2) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5) -> (rule9 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple5) -> (rule9 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule9 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple5) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple6 triple3) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple6 ((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple6 ((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple6 ((((((triple5) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple1) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple2) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple9
((triple10) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple10
((((triple9) -> (rule2 % int2))) -> (rule9 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple12) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple12
((triple11) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
((triple4 triple3) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple4 ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple6 triple3) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple6 triple3) -> (rule5 % int3)) ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple4 ((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple6 ((triple1) -> (rule8 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple6 triple3) -> (rule5 % int4)) ((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple6 ((triple1) -> (rule8 % int3))) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple6 ((triple1) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule7 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple4 ((((((triple5) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple6 ((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple6 triple3) -> (rule5 % int5)) ((((((triple5) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((triple6 ((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple6 ((triple1) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple6 ((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple6 ((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((triple6 ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((((((triple5) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((triple9) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((triple10) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple9) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple11) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12) -> (rule9 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple12) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple12 ((((triple11) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11) -> (rule3 % int4)) ((((triple11) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple12 ((((((triple12) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple11) -> (rule3 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
((((triple12 ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple11) -> (rule3 % int5)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int2))) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple12 ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple12 ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple11) -> (rule3 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple11) -> (rule3 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int6))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is white.
("Harry" "is" "white" "+")
((((((triple12 ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((((triple11) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple12) -> (rule9 % int4))) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int6)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int5))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int3))) -> (rule7 % int7))) -> (rule8 % int5))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((triple12 ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule9 % int7))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule4 % int3)) ((((triple11) -> (rule7 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((triple11) -> (rule3 % int7)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int5))) -> (rule2 % int7))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((triple11) -> (rule3 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7
((((((((((triple11) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule9 % int5))) -> (rule7 % int7))) -> (rule8 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
int7