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