Bob is furry. Bob is quiet. Bob is round. Bob is white. Erin is white. Fiona is big. Harry is kind. If something is white then it is quiet. Nice things are white. Kind, furry things are big. If Bob is kind then Bob is white. Quiet, round things are white. If something is quiet and big then it is round. All quiet things are furry. If something is furry then it is kind.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If something is white then it is quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Kind, furry things are big.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If Bob is kind then Bob is white.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "white" "+"))
Quiet, round things are white.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is quiet and big then it is round.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Bob is round.
True
1
proof
[(triple3 OR ((triple2 ((((triple1) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((triple1) -> rule8) triple1) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((triple1) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((triple1) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((triple1) -> rule8) triple1) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((triple1) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((triple2 ((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6))]
("Bob" "is" "round" "+")
triple3
((triple2 ((((triple1) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple2 ((((triple1) -> (rule8 % int4)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple4) -> (rule1 % int4)) ((((triple1) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4) -> (rule1 % int5)) ((((triple1) -> (rule8 % int4)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple2 ((((triple1) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple4) -> (rule1 % int5)) ((((triple1) -> (rule8 % int4)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule8 % int5)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule8 % int6)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule8 % int6)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule8 % int6)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple2 ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int6)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int6)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
Bob is not quiet.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule1) OR ((((((triple1) -> rule8)) -> rule4)) -> rule1))]
("Bob" "is" "quiet" "-")
triple2
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Erin is quiet.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7)) -> rule8))]
("Bob" "is" "kind" "-")
((triple1) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Erin is furry.
True
3
proof
[(((((triple5) -> rule1)) -> rule7))]
("Erin" "is" "furry" "+")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not furry.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule7))]
("Erin" "is" "furry" "-")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
True
4
proof
[(((((((triple5) -> rule1)) -> rule7)) -> rule8))]
("Erin" "is" "kind" "+")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not kind.
False
4
inv-proof
[(((((((triple5) -> rule1)) -> rule7)) -> rule8))]
("Erin" "is" "kind" "-")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
True
8
proof
[(((((((((triple5) -> rule1)) -> rule7)) -> rule8) ((((triple5) -> rule1)) -> rule7)) -> rule3))]
("Erin" "is" "big" "+")
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is not big.
False
8
inv-proof
[(((((((((triple5) -> rule1)) -> rule7)) -> rule8) ((((triple5) -> rule1)) -> rule7)) -> rule3))]
("Erin" "is" "big" "-")
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is round.
True
11
proof
[(((((triple5) -> rule1) ((((((((triple5) -> rule1)) -> rule7)) -> rule8) ((((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6))]
("Erin" "is" "round" "+")
((((triple5) -> (rule1 % int5)) ((((((((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is not round.
False
11
inv-proof
[(((((triple5) -> rule1) ((((((((triple5) -> rule1)) -> rule7)) -> rule8) ((((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6))]
("Erin" "is" "round" "-")
((((triple5) -> (rule1 % int5)) ((((((((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Fiona is not round.
Unknown
inv-rconc
[@3: Fiona is round.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Harry is round.
Unknown
rconc
[@3: Harry is round.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Fiona is not kind.
Unknown
inv-rconc
[@4: Fiona is kind.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Harry is furry.
Unknown
rconc
[@3: Harry is furry.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule2 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not big.
Unknown
inv-rconc
[@4: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule1 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is white.
Unknown
rconc
[@3: Harry is white.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- FAIL)]]
("Harry" "is" "white" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is furry.[(triple1 OR ((triple2) -> rule7) OR ((((triple4) -> rule1)) -> rule7))] Bob is quiet.[(triple2 OR ((triple4) -> rule1) OR ((((((triple1) -> rule8)) -> rule4)) -> rule1))] Bob is round.[(triple3 OR ((triple2 ((((triple1) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((triple1) -> rule8) triple1) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((triple1) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((triple1) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((triple1) -> rule8) triple1) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((triple1) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((triple2) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((triple2 ((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((triple2 ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((triple4) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule1) ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule6))] Bob is white.[(triple4 OR ((triple2 triple3) -> rule5) OR ((((triple1) -> rule8)) -> rule4) OR ((((((triple2) -> rule7)) -> rule8)) -> rule4) OR ((triple2 ((triple2 ((((triple1) -> rule8) triple1) -> rule3)) -> rule6)) -> rule5) OR ((triple2 ((triple2 ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6)) -> rule5) OR ((triple2 ((triple2 ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6)) -> rule5) OR ((triple2 ((triple2 ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3)) -> rule6)) -> rule5))] Erin is white.[(triple5)] Fiona is big.[(triple6)] Harry is kind.[(triple7)] @1: Bob is kind.[(((triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7)) -> rule8))] Erin is quiet.[(((triple5) -> rule1))] @2: Bob is big.[(((((triple1) -> rule8) triple1) -> rule3) OR ((((triple1) -> rule8) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule8) triple1) -> rule3) OR ((((triple1) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple1) -> rule3) OR ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((triple2) -> rule7)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule7)) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule3))] Erin is furry.[(((((triple5) -> rule1)) -> rule7))] @3: Erin is kind.[(((((((triple5) -> rule1)) -> rule7)) -> rule8))] @4: Erin is big.[(((((((((triple5) -> rule1)) -> rule7)) -> rule8) ((((triple5) -> rule1)) -> rule7)) -> rule3))] @5: Erin is round.[(((((triple5) -> rule1) ((((((((triple5) -> rule1)) -> rule7)) -> rule8) ((((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2 ((((triple1) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple2 ((((triple1) -> (rule8 % int4)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple4) -> (rule1 % int4)) ((((triple1) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4) -> (rule1 % int5)) ((((triple1) -> (rule8 % int4)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple2 ((((triple1) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple4) -> (rule1 % int5)) ((((triple1) -> (rule8 % int4)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule8 % int5)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule8 % int6)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule8 % int6)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule8 % int6)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int3))) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple2 ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple2 ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple2) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int6)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int6)) ((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((triple1) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
Bob is white.
("Bob" "is" "white" "+")
triple4
((triple2 triple3) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple2 ((triple2 ((((triple1) -> (rule8 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple2 ((triple2 ((((triple1) -> (rule8 % int5)) ((triple2) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple2 ((triple2 ((((((triple2) -> (rule7 % int5))) -> (rule8 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple2 ((triple2 ((((((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((triple2) -> (rule7 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple2) -> (rule7 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1) -> (rule8 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple2) -> (rule7 % int3))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((triple5) -> (rule1 % int5)) ((((((((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5