Anne is quiet. Anne is red. Anne is smart. Bob is smart. Erin is young. Fiona is quiet. Fiona is round. All white people are red. If someone is young then they are furry. If someone is furry and quiet then they are white. All quiet people are young. If Fiona is quiet then Fiona is white. If someone is smart then they are quiet. Red, smart people are round. All furry, red people are white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All white people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and quiet then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If Fiona is quiet then Fiona is white.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "white" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Red, smart people are round.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
All furry, red people are white.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Anne is not red.
False
1
inv-proof
[(triple2 OR ((((((((triple1) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3)) -> rule1))]
("Anne" "is" "red" "-")
triple2
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Fiona is white.
True
2
proof
[(((triple6) -> rule5) OR ((((((triple6) -> rule4)) -> rule2) triple6) -> rule3))]
("Fiona" "is" "white" "+")
((triple6) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((((triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not young.
False
2
inv-proof
[(((triple6) -> rule4))]
("Fiona" "is" "young" "-")
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Bob is young.
True
3
proof
[(((((triple4) -> rule6)) -> rule4))]
("Bob" "is" "young" "+")
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple6) -> rule5)) -> rule1) OR ((((((((triple6) -> rule4)) -> rule2) triple6) -> rule3)) -> rule1))]
("Fiona" "is" "red" "-")
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((((triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Bob is furry.
True
4
proof
[(((((((triple4) -> rule6)) -> rule4)) -> rule2))]
("Bob" "is" "furry" "+")
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Anne is not white.
False
5
inv-proof
[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4)) -> rule2) triple2) -> rule8) OR ((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule2) triple1) -> rule3) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule2) triple2) -> rule8) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3))]
("Anne" "is" "white" "-")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3) -> (rule6 % int4))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Bob is white.
True
7
proof
[(((((((((triple4) -> rule6)) -> rule4)) -> rule2) ((triple4) -> rule6)) -> rule3))]
("Bob" "is" "white" "+")
((((((((triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((triple4) -> (rule6 % int4))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is not white.
False
7
inv-proof
[(((((((((triple4) -> rule6)) -> rule4)) -> rule2) ((triple4) -> rule6)) -> rule3))]
("Bob" "is" "white" "-")
((((((((triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((triple4) -> (rule6 % int4))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is red.
True
8
proof
[(((((((((((triple4) -> rule6)) -> rule4)) -> rule2) ((triple4) -> rule6)) -> rule3)) -> rule1))]
("Bob" "is" "red" "+")
((((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is not red.
False
8
inv-proof
[(((((((((((triple4) -> rule6)) -> rule4)) -> rule2) ((triple4) -> rule6)) -> rule3)) -> rule1))]
("Bob" "is" "red" "-")
((((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not red.
Unknown
inv-rconc
[@3: Erin is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule6 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is white.
Unknown
rconc
[@4: Erin is white.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule3 <- rule6 <- FAIL)]]
("Erin" "is" "white" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is quiet.[(triple1 OR ((triple3) -> rule6))] Anne is red.[(triple2 OR ((((((((triple1) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3)) -> rule1))] Anne is smart.[(triple3)] Bob is smart.[(triple4)] Erin is young.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Anne is round.[(((triple2 triple3) -> rule7) OR ((((((((((triple1) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) triple3) -> rule7) OR ((((((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3)) -> rule1) triple3) -> rule7) OR ((((((((((((triple3) -> rule6)) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) triple3) -> rule7) OR ((((((((((((triple3) -> rule6)) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3)) -> rule1) triple3) -> rule7))] Anne is young.[(((triple1) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] Bob is quiet.[(((triple4) -> rule6))] Erin is furry.[(((triple5) -> rule2))] Fiona is white.[(((triple6) -> rule5) OR ((((((triple6) -> rule4)) -> rule2) triple6) -> rule3))] Fiona is young.[(((triple6) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule4)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4)) -> rule2))] Bob is young.[(((((triple4) -> rule6)) -> rule4))] Fiona is furry.[(((((triple6) -> rule4)) -> rule2))] Fiona is red.[(((((triple6) -> rule5)) -> rule1) OR ((((((((triple6) -> rule4)) -> rule2) triple6) -> rule3)) -> rule1))] @3: Anne is white.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4)) -> rule2) triple2) -> rule8) OR ((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule2) triple1) -> rule3) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule2) triple2) -> rule8) OR ((((((((triple3) -> rule6)) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3))] Bob is furry.[(((((((triple4) -> rule6)) -> rule4)) -> rule2))] @4: Bob is white.[(((((((((triple4) -> rule6)) -> rule4)) -> rule2) ((triple4) -> rule6)) -> rule3))] @5: Bob is red.[(((((((((((triple4) -> rule6)) -> rule4)) -> rule2) ((triple4) -> rule6)) -> rule3)) -> rule1))] @6: Bob is round.[(((((((((((((triple4) -> rule6)) -> rule4)) -> rule2) ((triple4) -> rule6)) -> rule3)) -> rule1) triple4) -> rule7))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
((triple3) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple2
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple2 triple3) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4)) triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((((triple1) -> (rule4 % int6))) -> (rule2 % int5)) ((triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) ((triple3) -> (rule6 % int6))) -> (rule3 % int3))) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple6) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((((triple6) -> (rule4 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((((triple6) -> (rule4 % int4))) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3) -> (rule6 % int4))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((((((triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((triple4) -> (rule6 % int4))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
((((((((((((triple4) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4) -> (rule6 % int6))) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6