Anne is blue. Anne is not quiet. Anne is red. Anne is young. Bob is blue. Bob is not furry. Bob is not green. Bob is not nice. Bob is quiet. Dave is furry. Dave is nice. Dave is young. Harry is furry. Harry is not quiet. All green things are furry. If Bob is nice and Bob is young then Bob is quiet. Furry things are red. Green, red things are blue. If Anne is young then Anne is green. If something is furry and blue then it is young. All nice things are green. If something is furry and red then it is nice. If Anne is not green then Anne is quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Bob is nice and Bob is young then Bob is quiet.
((("Bob" "is" "nice" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "quiet" "+"))
Furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Green, red things are blue.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If Anne is young then Anne is green.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "green" "+"))
If something is furry and blue then it is young.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is furry and red then it is nice.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Anne is not green then Anne is quiet.
((("Anne" "is" "green" "~")) -> ("Anne" "is" "quiet" "+"))
Anne is blue.
True
1
proof
[(triple1 OR ((((triple4) -> rule5) triple3) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule4))]
("Anne" "is" "blue" "+")
triple1
((((triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Bob is furry.
False
1
inv-proof
[(triple6)]
("Bob" "is" "furry" "+")
triple6
Dave is green.
True
2
proof
[(((triple11) -> rule7) OR ((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7))]
("Dave" "is" "green" "+")
((triple11) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Anne is not green.
False
2
inv-proof
[(((triple4) -> rule5))]
("Anne" "is" "green" "-")
((triple4) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is blue.
True
5
proof
[(((((triple11) -> rule7) ((triple10) -> rule3)) -> rule4) OR ((((triple11) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((triple10) -> rule3)) -> rule4) OR ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4))]
("Dave" "is" "blue" "+")
((((triple11) -> (rule7 % int3)) ((triple10) -> (rule3 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple11) -> (rule7 % int4)) ((((((triple11) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple10) -> (rule3 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple10 ((triple10) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((((triple11) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Harry is not nice.
False
4
inv-proof
[(((triple13 ((triple13) -> rule3)) -> rule8))]
("Harry" "is" "nice" "-")
((triple13 ((triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Anne is nice.
True
5
proof
[(((((((triple4) -> rule5)) -> rule1) triple3) -> rule8) OR ((((((triple4) -> rule5)) -> rule1) ((((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule8))]
("Anne" "is" "nice" "+")
((((((triple4) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple4) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Harry is not green.
False
5
inv-proof
[(((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7))]
("Harry" "is" "green" "-")
((((triple13 ((triple13) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
True
8
proof
[(((((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7) ((triple13) -> rule3)) -> rule4))]
("Harry" "is" "blue" "+")
((((((triple13 ((triple13) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple13) -> (rule3 % int4))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not blue.
False
8
inv-proof
[(((((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7) ((triple13) -> rule3)) -> rule4))]
("Harry" "is" "blue" "-")
((((((triple13 ((triple13) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple13) -> (rule3 % int4))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is young.
True
10
proof
[(((triple13 ((((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7) ((triple13) -> rule3)) -> rule4)) -> rule6))]
("Harry" "is" "young" "+")
((triple13 ((((((triple13 ((triple13) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple13) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is not young.
False
10
inv-proof
[(((triple13 ((((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7) ((triple13) -> rule3)) -> rule4)) -> rule6))]
("Harry" "is" "young" "-")
((triple13 ((((((triple13 ((triple13) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple13) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is blue.[(triple1 OR ((((triple4) -> rule5) triple3) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule4))] Anne is not quiet.[(triple2)] Anne is red.[(triple3 OR ((((((triple4) -> rule5)) -> rule1)) -> rule3))] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is not furry.[(triple6)] Bob is not green.[(triple7)] Bob is not nice.[(triple8)] Bob is quiet.[(triple9)] Dave is furry.[(triple10 OR ((((triple11) -> rule7)) -> rule1))] Dave is nice.[(triple11 OR ((triple10 ((triple10) -> rule3)) -> rule8))] Dave is young.[(triple12 OR ((triple10 ((((triple11) -> rule7) ((triple10) -> rule3)) -> rule4)) -> rule6) OR ((((((triple11) -> rule7)) -> rule1) ((((triple11) -> rule7) ((triple10) -> rule3)) -> rule4)) -> rule6) OR ((triple10 ((((triple11) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4)) -> rule6) OR ((triple10 ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((triple10) -> rule3)) -> rule4)) -> rule6) OR ((triple10 ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4)) -> rule6) OR ((((((triple11) -> rule7)) -> rule1) ((((triple11) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4)) -> rule6) OR ((((((triple11) -> rule7)) -> rule1) ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((triple10) -> rule3)) -> rule4)) -> rule6) OR ((((((triple11) -> rule7)) -> rule1) ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4)) -> rule6))] Harry is furry.[(triple13)] Harry is not quiet.[(triple14)] @1: Anne is green.[(((triple4) -> rule5))] Dave is green.[(((triple11) -> rule7) OR ((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7))] Dave is red.[(((triple10) -> rule3) OR ((((((triple11) -> rule7)) -> rule1)) -> rule3))] Harry is red.[(((triple13) -> rule3))] @2: Anne is furry.[(((((triple4) -> rule5)) -> rule1))] Dave is blue.[(((((triple11) -> rule7) ((triple10) -> rule3)) -> rule4) OR ((((triple11) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((triple10) -> rule3)) -> rule4) OR ((((((triple10 ((triple10) -> rule3)) -> rule8)) -> rule7) ((((((triple11) -> rule7)) -> rule1)) -> rule3)) -> rule4))] Harry is nice.[(((triple13 ((triple13) -> rule3)) -> rule8))] @3: Anne is nice.[(((((((triple4) -> rule5)) -> rule1) triple3) -> rule8) OR ((((((triple4) -> rule5)) -> rule1) ((((((triple4) -> rule5)) -> rule1)) -> rule3)) -> rule8))] Harry is green.[(((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7))] @4: Harry is blue.[(((((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7) ((triple13) -> rule3)) -> rule4))] @5: Harry is young.[(((triple13 ((((((triple13 ((triple13) -> rule3)) -> rule8)) -> rule7) ((triple13) -> rule3)) -> rule4)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((((triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4) -> (rule5 % int4)) ((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((((((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is not furry.
("Bob" "is" "furry" "-")
triple6
Bob is not green.
("Bob" "is" "green" "-")
triple7
Bob is not nice.
("Bob" "is" "nice" "-")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Dave is furry.
("Dave" "is" "furry" "+")
triple10
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple11
((triple10 ((triple10) -> (rule3 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple12
((triple10 ((((triple11) -> (rule7 % int4)) ((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple11) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int5)) ((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((triple10 ((((triple11) -> (rule7 % int5)) ((((((triple11) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((triple10 ((((((triple10 ((triple10) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple10) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple10 ((((((triple10 ((triple10) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple11) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int6))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((triple11) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule7 % int5)) ((((((triple11) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple11) -> (rule7 % int6))) -> (rule1 % int5)) ((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int6)) ((triple10) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple11) -> (rule7 % int6))) -> (rule1 % int5)) ((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int6)) ((((((triple11) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple14
Anne is green.
("Anne" "is" "green" "+")
((triple4) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple11) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((triple10) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((((triple11) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple13) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple11) -> (rule7 % int3)) ((triple10) -> (rule3 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple11) -> (rule7 % int4)) ((((((triple11) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple10) -> (rule3 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple10 ((triple10) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((((triple11) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
((triple13 ((triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple4) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple4) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
((((triple13 ((triple13) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((((triple13 ((triple13) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple13) -> (rule3 % int4))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple13 ((((((triple13 ((triple13) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple13) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5