Anne is red. Anne is rough. Charlie is big. Charlie is kind. Charlie is red. Dave is furry. Dave is green. Fiona is furry. Fiona is green. Fiona is kind. Kind things are nice. If something is red then it is kind. Nice, kind things are furry. If Anne is rough and Anne is big then Anne is nice. All furry things are green. Big things are green. Rough things are kind. All rough, nice things are kind. Rough, green things are big.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Nice, kind things are furry.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If Anne is rough and Anne is big then Anne is nice.
((("Anne" "is" "rough" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "nice" "+"))
All furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All rough, nice things are kind.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Rough, green things are big.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Dave is furry.
True
1
proof
[(triple6)]
("Dave" "is" "furry" "+")
triple6
Fiona is not kind.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "kind" "-")
triple10
Fiona is nice.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "nice" "+")
((triple10) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "nice" "-")
((triple10) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is furry.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule3) OR ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule2)) -> rule1) triple4) -> rule3) OR ((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))]
("Charlie" "is" "furry" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule1 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not furry.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule3) OR ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule2)) -> rule1) triple4) -> rule3) OR ((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))]
("Charlie" "is" "furry" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule1 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Anne is furry.
True
6
proof
[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3))]
("Anne" "is" "furry" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is not furry.
False
6
inv-proof
[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3))]
("Anne" "is" "furry" "-")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
True
7
proof
[(((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5))]
("Anne" "is" "green" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is not green.
False
7
inv-proof
[(((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5))]
("Anne" "is" "green" "-")
((((((((triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
True
9
proof
[(((triple2 ((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule9))]
("Anne" "is" "big" "+")
((triple2 ((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple1) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple2) -> (rule7 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) ((triple1) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) ((triple2) -> (rule7 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is not big.
False
9
inv-proof
[(((triple2 ((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule9))]
("Anne" "is" "big" "-")
((triple2 ((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple1) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple2) -> (rule7 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) ((triple1) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) ((triple2) -> (rule7 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Fiona" "is" "big" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is kind.[(triple4 OR ((triple5) -> rule2))] Charlie is red.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7 OR ((triple6) -> rule5))] Fiona is furry.[(triple8 OR ((((triple10) -> rule1) triple10) -> rule3))] Fiona is green.[(triple9 OR ((triple8) -> rule5) OR ((((((triple10) -> rule1) triple10) -> rule3)) -> rule5))] Fiona is kind.[(triple10)] @1: Anne is kind.[(((triple1) -> rule2) OR ((triple2) -> rule7))] Charlie is green.[(((triple3) -> rule6) OR ((((((triple4) -> rule1) triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule1) ((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule2)) -> rule1) triple4) -> rule3)) -> rule5) OR ((((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3)) -> rule5))] Charlie is nice.[(((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Fiona is nice.[(((triple10) -> rule1))] @2: Anne is nice.[(((((triple1) -> rule2)) -> rule1) OR ((((triple2) -> rule7)) -> rule1))] Charlie is furry.[(((((triple4) -> rule1) triple4) -> rule3) OR ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule2)) -> rule1) triple4) -> rule3) OR ((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))] @3: Anne is furry.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3))] @4: Anne is green.[(((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5))] @5: Anne is big.[(((triple2 ((((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple1) -> rule2)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple2) -> rule7)) -> rule1) ((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule9) OR ((triple2 ((((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule9))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
((triple6) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((((triple10) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple9
((triple8) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((((triple10) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple2) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((((triple4) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple4) -> (rule1 % int4)) ((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule1 % int3)) ((triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple10) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule1 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple1) -> (rule2 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
((triple2 ((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple1) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple2) -> (rule7 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) ((triple1) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple2 ((((((((triple2) -> (rule7 % int5))) -> (rule1 % int4)) ((triple2) -> (rule7 % int5))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5