Bob is quiet. Bob is red. Bob is round. Bob is not smart. Dave is not quiet. Dave is round. Erin is quiet. Erin is red. Erin is smart. Erin is white. Harry is quiet. Harry is smart. All white, round people are furry. If someone is furry and round then they are not big. All red people are round. Smart people are white. If someone is furry and smart then they are white. White, smart people are red.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All white, round people are furry.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and round then they are not big.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "-"))
All red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is furry and smart then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
White, smart people are red.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Bob is not smart.
True
1
proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Erin is not white.
False
1
inv-proof
[(triple10 OR ((triple9) -> rule4))]
("Erin" "is" "white" "-")
triple10
((triple9) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
True
2
proof
[(((triple8) -> rule3) OR ((((triple10 triple9) -> rule6)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3))]
("Erin" "is" "round" "+")
((triple8) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not round.
False
2
inv-proof
[(((triple8) -> rule3) OR ((((triple10 triple9) -> rule6)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3))]
("Erin" "is" "round" "-")
((triple8) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Harry is red.
True
4
proof
[(((((triple12) -> rule4) triple12) -> rule6))]
("Harry" "is" "red" "+")
((((triple12) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is not red.
False
4
inv-proof
[(((((triple12) -> rule4) triple12) -> rule6))]
("Harry" "is" "red" "-")
((((triple12) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
True
5
proof
[(((((((triple12) -> rule4) triple12) -> rule6)) -> rule3))]
("Harry" "is" "round" "+")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule6 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Erin is big.
False
7
inv-proof
[(((((triple10 ((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((triple8) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((triple8) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2))]
("Erin" "is" "big" "+")
((((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple10 ((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple8) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple10 ((triple8) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int5))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((triple10 ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule4 % int5)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((triple10 triple9) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int2)) triple9) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Harry is furry.
True
8
proof
[(((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule1))]
("Harry" "is" "furry" "+")
((((triple12) -> (rule4 % int4)) ((((((triple12) -> (rule4 % int4)) triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not furry.
False
8
inv-proof
[(((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule1))]
("Harry" "is" "furry" "-")
((((triple12) -> (rule4 % int4)) ((((((triple12) -> (rule4 % int4)) triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not big.
True
14
proof
[(((((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule1) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule2))]
("Harry" "is" "big" "-")
((((((triple12) -> (rule4 % int5)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is big.
False
14
inv-proof
[(((((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule1) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule2))]
("Harry" "is" "big" "+")
((((((triple12) -> (rule4 % int5)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is furry.
Unknown
rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Dave" "is" "furry" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "red" "-")
Bob is furry.
Unknown
rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Bob" "is" "furry" "+")
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "white" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is not smart.[(triple4)] Bob is quiet.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule3))] Dave is not quiet.[(triple5)] Dave is round.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((triple10 triple9) -> rule6) OR ((((triple9) -> rule4) triple9) -> rule6))] Erin is smart.[(triple9)] Erin is white.[(triple10 OR ((triple9) -> rule4))] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Erin is round.[(((triple8) -> rule3) OR ((((triple10 triple9) -> rule6)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3))] Harry is white.[(((triple12) -> rule4))] @2: Erin is furry.[(((triple10 ((triple8) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple8) -> rule3)) -> rule1) OR ((triple10 ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) OR ((triple10 ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1))] Harry is red.[(((((triple12) -> rule4) triple12) -> rule6))] @3: Erin is not big.[(((((triple10 ((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((triple8) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((triple8) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule2) OR ((((triple10 ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((triple10 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule6)) -> rule3)) -> rule2))] Harry is round.[(((((((triple12) -> rule4) triple12) -> rule6)) -> rule3))] @4: Harry is furry.[(((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule1))] @5: Harry is not big.[(((((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule1) ((((((triple12) -> rule4) triple12) -> rule6)) -> rule3)) -> rule2))]
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
((triple10 triple9) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple9) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
((triple9) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
((triple8) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple12) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple10 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple10 ((((triple10 triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9) -> (rule4 % int4)) ((((triple10 triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple10 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple9) -> (rule4 % int4)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((triple12) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Erin is not big.
("Erin" "is" "big" "-")
((((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple10 ((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple8) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple10 ((triple8) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int5))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((triple10 ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule4 % int5)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((triple10 triple9) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int2)) triple9) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple10 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple10 triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule6 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((((triple12) -> (rule4 % int4)) ((((((triple12) -> (rule4 % int4)) triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not big.
("Harry" "is" "big" "-")
((((((triple12) -> (rule4 % int5)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5