Charlie is blue. Dave is round. Dave is white. Fiona is blue. Fiona is nice. Harry is nice. Harry is round. If someone is blue then they are nice. All nice people are big. All furry people are round. If Fiona is round and Fiona is nice then Fiona is quiet. White people are furry. All white, blue people are furry. If someone is big and not nice then they are white. If someone is quiet then they are white. If someone is big then they are white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is blue then they are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If Fiona is round and Fiona is nice then Fiona is quiet.
((("Fiona" "is" "round" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "quiet" "+"))
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All white, blue people are furry.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is big and not nice then they are white.
((("someone" "is" "big" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "white" "+"))
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is big then they are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Harry is round.
True
1
proof
[(triple7 OR ((((((((triple6) -> rule2)) -> rule9)) -> rule5)) -> rule3))]
("Harry" "is" "round" "+")
triple7
((((((((triple6) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Dave is not round.
False
1
inv-proof
[(triple2 OR ((((triple3) -> rule5)) -> rule3))]
("Dave" "is" "round" "-")
triple2
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is furry.
True
2
proof
[(((triple3) -> rule5))]
("Dave" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple6) -> rule2))]
("Harry" "is" "big" "-")
((triple6) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Charlie is big.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Charlie" "is" "big" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule9) OR ((((((triple4) -> rule1)) -> rule2)) -> rule9))]
("Fiona" "is" "white" "-")
((((triple5) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
True
4
proof
[(((((((triple5) -> rule2)) -> rule9)) -> rule5) OR ((((((triple5) -> rule2)) -> rule9) triple4) -> rule6) OR ((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6))]
("Fiona" "is" "furry" "+")
((((((triple5) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule9 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is not furry.
False
4
inv-proof
[(((((((triple5) -> rule2)) -> rule9)) -> rule5) OR ((((((triple5) -> rule2)) -> rule9) triple4) -> rule6) OR ((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6))]
("Fiona" "is" "furry" "-")
((((((triple5) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule9 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Charlie is furry.
True
5
proof
[(((((((((triple1) -> rule1)) -> rule2)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule1)) -> rule2)) -> rule9) triple1) -> rule6))]
("Charlie" "is" "furry" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple1) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Fiona is not round.
False
5
inv-proof
[(((((((((triple5) -> rule2)) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3))]
("Fiona" "is" "round" "-")
((((((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule9 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is quiet.
True
7
proof
[(((((((((((triple5) -> rule2)) -> rule9)) -> rule5)) -> rule3) triple5) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) triple5) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule9)) -> rule5)) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) triple5) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) triple5) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) ((triple4) -> rule1)) -> rule4))]
("Fiona" "is" "quiet" "+")
((((((((((triple5) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule9 % int4)) triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((((triple5) -> (rule2 % int6))) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((((triple5) -> (rule2 % int6))) -> (rule9 % int5)) triple4) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4)) triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4) -> (rule1 % int6))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4)) triple4) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4) -> (rule1 % int6))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
Charlie is not round.
False
6
inv-proof
[(((((((((((triple1) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) OR ((((((((((triple1) -> rule1)) -> rule2)) -> rule9) triple1) -> rule6)) -> rule3))]
("Charlie" "is" "round" "-")
((((((((((triple1) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple1) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Dave is round.[(triple2 OR ((((triple3) -> rule5)) -> rule3))] Dave is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is nice.[(triple5 OR ((triple4) -> rule1))] Harry is nice.[(triple6)] Harry is round.[(triple7 OR ((((((((triple6) -> rule2)) -> rule9)) -> rule5)) -> rule3))] @1: Charlie is nice.[(((triple1) -> rule1))] Dave is furry.[(((triple3) -> rule5))] Fiona is big.[(((triple5) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Harry is big.[(((triple6) -> rule2))] @2: Charlie is big.[(((((triple1) -> rule1)) -> rule2))] Fiona is white.[(((((triple5) -> rule2)) -> rule9) OR ((((((triple4) -> rule1)) -> rule2)) -> rule9))] Harry is white.[(((((triple6) -> rule2)) -> rule9))] @3: Charlie is white.[(((((((triple1) -> rule1)) -> rule2)) -> rule9))] Fiona is furry.[(((((((triple5) -> rule2)) -> rule9)) -> rule5) OR ((((((triple5) -> rule2)) -> rule9) triple4) -> rule6) OR ((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6))] Harry is furry.[(((((((triple6) -> rule2)) -> rule9)) -> rule5))] @4: Charlie is furry.[(((((((((triple1) -> rule1)) -> rule2)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule1)) -> rule2)) -> rule9) triple1) -> rule6))] Fiona is round.[(((((((((triple5) -> rule2)) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3))] @5: Charlie is round.[(((((((((((triple1) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) OR ((((((((((triple1) -> rule1)) -> rule2)) -> rule9) triple1) -> rule6)) -> rule3))] Fiona is quiet.[(((((((((((triple5) -> rule2)) -> rule9)) -> rule5)) -> rule3) triple5) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) triple5) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule9)) -> rule5)) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) triple5) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) triple5) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9)) -> rule5)) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule1)) -> rule2)) -> rule9) triple4) -> rule6)) -> rule3) ((triple4) -> rule1)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
((triple4) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
((((((((triple6) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple5) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple6) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple5) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((triple6) -> (rule2 % int2))) -> (rule9 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple5) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule9 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple6) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple1) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
((((((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule9 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
((((((((((triple1) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple1) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((((triple5) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule9 % int4)) triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((((triple5) -> (rule2 % int6))) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((((triple5) -> (rule2 % int6))) -> (rule9 % int5)) triple4) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4)) triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4) -> (rule1 % int6))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((((((triple4) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule9 % int4)) triple4) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4) -> (rule1 % int6))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6