Anne is kind. Bob is kind. Bob is red. Bob is smart. Bob is white. Dave is round. Dave is smart. Harry is red. Harry is round. Harry is smart. Harry is white. Red people are smart. Kind, green people are red. All red people are smart. If someone is kind then they are green. Red, green people are white. Round, white people are red. Round, smart people are kind. If someone is smart and white then they are quiet.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Kind, green people are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is kind then they are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Red, green people are white.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Round, white people are red.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Round, smart people are kind.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and white then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Bob is white.
True
1
proof
[(triple5 OR ((triple3 ((triple2) -> rule4)) -> rule5) OR ((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5))]
("Bob" "is" "white" "+")
triple5
((triple3 ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int3))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not red.
False
1
inv-proof
[(triple3 OR ((triple2 ((triple2) -> rule4)) -> rule2))]
("Bob" "is" "red" "-")
triple3
((triple2 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Harry is quiet.
True
3
proof
[(((triple10 triple11) -> rule8) OR ((((triple8) -> rule1) triple11) -> rule8) OR ((((triple8) -> rule3) triple11) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) triple11) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) triple11) -> rule8) OR ((triple10 ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8))]
("Harry" "is" "quiet" "+")
((triple10 triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple8) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple9 triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple9 triple11) -> (rule6 % int3))) -> (rule3 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple10 ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule1 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((triple10 ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple10 ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((triple10 ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple10 ((((((triple9 triple10) -> (rule7 % int6)) ((((triple9 triple10) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((triple10 ((((((triple9 triple10) -> (rule7 % int6)) ((((triple9 triple10) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple9 ((triple8) -> (rule3 % int3))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((triple8) -> (rule1 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule1 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule1 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
Bob is not green.
False
2
inv-proof
[(((triple2) -> rule4))]
("Bob" "is" "green" "-")
((triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is green.
True
4
proof
[(((((triple9 triple10) -> rule7)) -> rule4) OR ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4) OR ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4) OR ((((triple9 ((((triple9 triple11) -> rule6)) -> rule1)) -> rule7)) -> rule4) OR ((((triple9 ((((triple9 triple11) -> rule6)) -> rule3)) -> rule7)) -> rule4))]
("Harry" "is" "green" "+")
((((triple9 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple9 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple9 ((((triple9 triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple9 ((((triple9 triple11) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Dave is not green.
False
4
inv-proof
[(((((triple6 triple7) -> rule7)) -> rule4))]
("Dave" "is" "green" "-")
((((triple6 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Anne is smart.
True
5
proof
[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule3))]
("Anne" "is" "smart" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is not smart.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule3))]
("Anne" "is" "smart" "-")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Dave is white.
True
13
proof
[(((((((triple6 triple7) -> rule7) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule5))]
("Dave" "is" "white" "+")
((((((triple6 triple7) -> (rule7 % int4)) ((((triple6 triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple6 triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not white.
False
13
inv-proof
[(((((((triple6 triple7) -> rule7) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule5))]
("Dave" "is" "white" "-")
((((((triple6 triple7) -> (rule7 % int4)) ((((triple6 triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple6 triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is quiet.
True
15
proof
[(((triple7 ((((((triple6 triple7) -> rule7) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule5)) -> rule8))]
("Dave" "is" "quiet" "+")
((triple7 ((((((triple6 triple7) -> (rule7 % int5)) ((((triple6 triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple6 triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is not quiet.
False
15
inv-proof
[(((triple7 ((((((triple6 triple7) -> rule7) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule5)) -> rule8))]
("Dave" "is" "quiet" "-")
((triple7 ((((((triple6 triple7) -> (rule7 % int5)) ((((triple6 triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple6 triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is kind.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3 OR ((triple2 ((triple2) -> rule4)) -> rule2))] Bob is smart.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule3) OR ((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule3))] Bob is white.[(triple5 OR ((triple3 ((triple2) -> rule4)) -> rule5) OR ((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5))] Dave is round.[(triple6)] Dave is smart.[(triple7)] Harry is red.[(triple8 OR ((triple9 triple11) -> rule6) OR ((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2))] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((triple8) -> rule1) OR ((triple8) -> rule3) OR ((((triple9 triple11) -> rule6)) -> rule1) OR ((((triple9 triple11) -> rule6)) -> rule3))] Harry is white.[(triple11 OR ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5) OR ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5) OR ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5))] @1: Anne is green.[(((triple1) -> rule4))] Bob is green.[(((triple2) -> rule4))] Bob is quiet.[(((triple4 triple5) -> rule8) OR ((((triple3) -> rule1) triple5) -> rule8) OR ((((triple3) -> rule3) triple5) -> rule8) OR ((triple4 ((triple3 ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((triple3) -> rule1) ((triple3 ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((triple3) -> rule3) ((triple3 ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1) triple5) -> rule8) OR ((((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule3) triple5) -> rule8) OR ((triple4 ((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((triple3) -> rule1) ((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((triple3) -> rule3) ((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1) ((triple3 ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule3) ((triple3 ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1) ((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule3) ((((triple2 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5)) -> rule8))] Dave is kind.[(((triple6 triple7) -> rule7))] Harry is kind.[(((triple9 triple10) -> rule7) OR ((triple9 ((triple8) -> rule1)) -> rule7) OR ((triple9 ((triple8) -> rule3)) -> rule7) OR ((triple9 ((((triple9 triple11) -> rule6)) -> rule1)) -> rule7) OR ((triple9 ((((triple9 triple11) -> rule6)) -> rule3)) -> rule7))] Harry is quiet.[(((triple10 triple11) -> rule8) OR ((((triple8) -> rule1) triple11) -> rule8) OR ((((triple8) -> rule3) triple11) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) triple11) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) triple11) -> rule8) OR ((triple10 ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((triple8 ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((triple8 ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((triple10 ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((triple8) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule1) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple9 triple11) -> rule6)) -> rule3) ((((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule4)) -> rule2) ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4)) -> rule5)) -> rule8))] @2: Anne is red.[(((triple1 ((triple1) -> rule4)) -> rule2))] Dave is green.[(((((triple6 triple7) -> rule7)) -> rule4))] Harry is green.[(((((triple9 triple10) -> rule7)) -> rule4) OR ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule4) OR ((((triple9 ((triple8) -> rule3)) -> rule7)) -> rule4) OR ((((triple9 ((((triple9 triple11) -> rule6)) -> rule1)) -> rule7)) -> rule4) OR ((((triple9 ((((triple9 triple11) -> rule6)) -> rule3)) -> rule7)) -> rule4))] @3: Anne is smart.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule3))] Anne is white.[(((((triple1 ((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule5))] Dave is red.[(((((triple6 triple7) -> rule7) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule2))] @4: Anne is quiet.[(((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple1 ((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule3) ((((triple1 ((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule5)) -> rule8))] Dave is white.[(((((((triple6 triple7) -> rule7) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule5))] @5: Dave is quiet.[(((triple7 ((((((triple6 triple7) -> rule7) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule2) ((((triple6 triple7) -> rule7)) -> rule4)) -> rule5)) -> rule8))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
((triple2 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple3) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple3) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
triple5
((triple3 ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int3))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple8
((triple9 triple11) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple10) -> (rule7 % int3)) ((((triple9 triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((triple8) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple9 triple11) -> (rule6 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple11
((triple8 ((((triple9 triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple8 ((((triple9 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple8 ((((triple9 ((triple8) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule3 % int2))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4 triple5) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple3) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((triple4 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple3) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3) -> (rule3 % int4)) ((triple3 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((triple4 ((((triple2 ((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple3) -> (rule1 % int5)) ((((triple2 ((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple3) -> (rule3 % int5)) ((((triple2 ((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3 ((triple2) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 ((triple2) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple2 ((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple2 ((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((triple6 triple7) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple9 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple9 ((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple9 ((((triple9 triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((((triple9 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple10 triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple8) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple9 triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple9 triple11) -> (rule6 % int3))) -> (rule3 % int2)) triple11) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple10 ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule1 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple8 ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((triple10 ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple10 ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple8 ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((triple10 ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple10 ((((((triple9 triple10) -> (rule7 % int6)) ((((triple9 triple10) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((triple10 ((((((triple9 triple10) -> (rule7 % int6)) ((((triple9 triple10) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple9 ((triple8) -> (rule3 % int3))) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((triple8) -> (rule1 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule1 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule1 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((((triple9 triple10) -> (rule7 % int5)) ((((triple9 triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple9 triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((((((triple9 triple10) -> (rule7 % int4)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int6)) ((((triple9 ((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple6 triple7) -> (rule7 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple9 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple9 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple9 ((((triple9 triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple9 ((((triple9 triple11) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((triple6 triple7) -> (rule7 % int3)) ((((triple6 triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
((((((triple6 triple7) -> (rule7 % int4)) ((((triple6 triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((triple6 triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple7 ((((((triple6 triple7) -> (rule7 % int5)) ((((triple6 triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple6 triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5