Anne is young. Dave is kind. Dave is red. Dave is white. Dave is young. Erin is blue. Erin is green. Harry is green. Harry is kind. Harry is nice. Kind things are nice. If something is kind then it is young. If something is blue then it is red. All red things are white. If something is white then it is kind. Young things are blue. If something is white and nice then it is green.
Anne is young.
("Anne" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
All red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is white and nice then it is green.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple8 OR ((((((((((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4) triple10) -> rule7) OR ((((((((((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((triple9) -> rule1)) -> rule7))]
("Harry" "is" "green" "+")
triple8
((((((((((triple9) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((((triple9) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple9) -> (rule1 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Dave is not red.
False
1
inv-proof
[(triple3 OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3))]
("Dave" "is" "red" "-")
triple3
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Anne is blue.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple5) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((((triple4) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule6))]
("Dave" "is" "blue" "-")
((triple5) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is green.
True
4
proof
[(((triple4 ((triple2) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((triple2) -> rule1)) -> rule7) OR ((triple4 ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((triple4 ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((triple4 ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7))]
("Dave" "is" "green" "+")
((triple4 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple3) -> (rule4 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple4 ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((((triple2) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((((((triple2) -> (rule2 % int7))) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Dave is young.
("Dave" "is" "young" "+")
int7
((((((((((triple2) -> (rule2 % int7))) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Dave is young.
("Dave" "is" "young" "+")
int7
((triple4 ((((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple3) -> (rule4 % int6)) ((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((((triple2) -> (rule2 % int7))) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Dave is young.
("Dave" "is" "young" "+")
int7
Anne is not red.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("Anne" "is" "red" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
True
4
proof
[(((((((triple1) -> rule6)) -> rule3)) -> rule4))]
("Anne" "is" "white" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Harry is not red.
False
4
inv-proof
[(((((((triple9) -> rule2)) -> rule6)) -> rule3))]
("Harry" "is" "red" "-")
((((((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Erin is young.
True
5
proof
[(((((((((triple6) -> rule3)) -> rule4)) -> rule5)) -> rule2))]
("Erin" "is" "young" "+")
((((((((triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is not nice.
False
5
inv-proof
[(((((((((triple6) -> rule3)) -> rule4)) -> rule5)) -> rule1))]
("Erin" "is" "nice" "-")
((((((((triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Anne is nice.
True
6
proof
[(((((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1))]
("Anne" "is" "nice" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is not nice.
False
6
inv-proof
[(((((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1))]
("Anne" "is" "nice" "-")
((((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
@0: Anne is young.[(triple1)] Dave is kind.[(triple2 OR ((triple4) -> rule5) OR ((((triple3) -> rule4)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Dave is red.[(triple3 OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3))] Dave is white.[(triple4 OR ((triple3) -> rule4) OR ((((((triple5) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4))] Dave is young.[(triple5 OR ((triple2) -> rule2) OR ((((triple4) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule5)) -> rule2))] Erin is blue.[(triple6)] Erin is green.[(triple7 OR ((((((triple6) -> rule3)) -> rule4) ((((((((triple6) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7))] Harry is green.[(triple8 OR ((((((((((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4) triple10) -> rule7) OR ((((((((((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((triple9) -> rule1)) -> rule7))] Harry is kind.[(triple9)] Harry is nice.[(triple10 OR ((triple9) -> rule1))] @1: Anne is blue.[(((triple1) -> rule6))] Dave is blue.[(((triple5) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((((triple4) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule6))] Dave is nice.[(((triple2) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1))] Erin is red.[(((triple6) -> rule3))] Harry is young.[(((triple9) -> rule2))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule3))] Dave is green.[(((triple4 ((triple2) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((triple2) -> rule1)) -> rule7) OR ((triple4 ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((triple4 ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((triple4 ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((triple3) -> rule4) ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule4) ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4) ((((((((((triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7))] Erin is white.[(((((triple6) -> rule3)) -> rule4))] Harry is blue.[(((((triple9) -> rule2)) -> rule6))] @3: Anne is white.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))] Erin is kind.[(((((((triple6) -> rule3)) -> rule4)) -> rule5))] Harry is red.[(((((((triple9) -> rule2)) -> rule6)) -> rule3))] @4: Anne is kind.[(((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Erin is nice.[(((((((((triple6) -> rule3)) -> rule4)) -> rule5)) -> rule1))] Erin is young.[(((((((((triple6) -> rule3)) -> rule4)) -> rule5)) -> rule2))] Harry is white.[(((((((((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4))] @5: Anne is nice.[(((((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1))] @6: Anne is green.[(((((((((triple1) -> rule6)) -> rule3)) -> rule4) ((((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5)) -> rule1)) -> rule7))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple4) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple3
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple4
((triple3) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple5
((triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
((((((triple6) -> (rule3 % int5))) -> (rule4 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
triple8
((((((((((triple9) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((((triple9) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple9) -> (rule1 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple4 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple3) -> (rule4 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple4 ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((((triple2) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((((((triple2) -> (rule2 % int7))) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Dave is young.
("Dave" "is" "young" "+")
int7
((((((((((triple2) -> (rule2 % int7))) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Dave is young.
("Dave" "is" "young" "+")
int7
((triple4 ((((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple3) -> (rule4 % int6)) ((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int6))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((((triple2) -> (rule2 % int7))) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((((((triple5) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Dave is young.
("Dave" "is" "young" "+")
int7
Erin is white.
("Erin" "is" "white" "+")
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((((((triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((((((((triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((((((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
((((((((triple1) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((((((((((triple1) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
int6