Bob is red. Bob is rough. Charlie is quiet. Charlie is not rough. Dave is rough. Gary is green. Gary is round. Quiet, red things are furry. If something is furry and quiet then it is round. If something is white and not rough then it is round. All red things are quiet. Rough things are quiet. If Dave is green then Dave is not white. Quiet, rough things are red. If something is quiet then it is red. All round things are white.
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Quiet, red things are furry.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is furry and quiet then it is round.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is white and not rough then it is round.
((("something" "is" "white" "+") ("something" "is" "rough" "~")) -> ("something" "is" "round" "+"))
All red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If Dave is green then Dave is not white.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "white" "-"))
Quiet, rough things are red.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
All round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Bob is red.
True
1
proof
[(triple1 OR ((((triple2) -> rule5)) -> rule8) OR ((((triple2) -> rule5) triple2) -> rule7))]
("Bob" "is" "red" "+")
triple1
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Gary is not round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Bob is quiet.
True
2
proof
[(((triple1) -> rule4) OR ((triple2) -> rule5))]
("Bob" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple2) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple2) -> rule5))]
("Bob" "is" "quiet" "-")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple2) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is furry.
True
4
proof
[(((triple3 ((triple3) -> rule8)) -> rule1))]
("Charlie" "is" "furry" "+")
((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Dave is not red.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule8) OR ((((triple5) -> rule5) triple5) -> rule7))]
("Dave" "is" "red" "-")
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple5) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Bob is round.
True
7
proof
[(((((((triple1) -> rule4) triple1) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2))]
("Bob" "is" "round" "+")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is not round.
False
7
inv-proof
[(((((((triple1) -> rule4) triple1) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2))]
("Bob" "is" "round" "-")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
True
8
proof
[(((((((((triple1) -> rule4) triple1) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) triple1) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) triple1) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9))]
("Bob" "is" "white" "+")
((((((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3)) ((triple1) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple2) -> (rule5 % int4)) triple1) -> (rule1 % int3)) ((triple1) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple2) -> (rule5 % int4)) triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Charlie is not white.
False
7
inv-proof
[(((((((triple3 ((triple3) -> rule8)) -> rule1) triple3) -> rule2)) -> rule9))]
("Charlie" "is" "white" "-")
((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Dave is white.
True
10
proof
[(((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule1) ((triple5) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule2)) -> rule9))]
("Dave" "is" "white" "+")
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) triple5) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is not white.
False
10
inv-proof
[(((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule1) ((triple5) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule2)) -> rule9))]
("Dave" "is" "white" "-")
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) triple5) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Gary is not furry.
Unknown
inv-rconc
[@4: Gary is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule8 <- rule5 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
rconc
[@3: Gary is quiet.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule5 <- FAIL)]]
("Gary" "is" "quiet" "+")
Gary is not red.
Unknown
inv-rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule7 <- FAIL)]]
("Gary" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is red.[(triple1 OR ((((triple2) -> rule5)) -> rule8) OR ((((triple2) -> rule5) triple2) -> rule7))] Bob is rough.[(triple2)] Charlie is not rough.[(triple4)] Charlie is quiet.[(triple3)] Dave is rough.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule4) OR ((triple2) -> rule5))] Charlie is red.[(((triple3) -> rule8))] Dave is quiet.[(((triple5) -> rule5))] Gary is white.[(((triple7) -> rule9))] @2: Bob is furry.[(((((triple1) -> rule4) triple1) -> rule1) OR ((((triple2) -> rule5) triple1) -> rule1) OR ((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1))] Charlie is furry.[(((triple3 ((triple3) -> rule8)) -> rule1))] Dave is red.[(((((triple5) -> rule5)) -> rule8) OR ((((triple5) -> rule5) triple5) -> rule7))] @3: Bob is round.[(((((((triple1) -> rule4) triple1) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2))] Charlie is round.[(((((triple3 ((triple3) -> rule8)) -> rule1) triple3) -> rule2))] Dave is furry.[(((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule1) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule7)) -> rule1))] @4: Bob is white.[(((((((((triple1) -> rule4) triple1) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) triple1) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) triple1) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) triple1) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple1) -> rule4) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule2)) -> rule9) OR ((((((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule2)) -> rule9))] Charlie is white.[(((((((triple3 ((triple3) -> rule8)) -> rule1) triple3) -> rule2)) -> rule9))] Dave is round.[(((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule1) ((triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule2))] @5: Dave is white.[(((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule1) ((triple5) -> rule5)) -> rule2)) -> rule9) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule2)) -> rule9))]
Bob is red.
("Bob" "is" "red" "+")
triple1
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple2) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple3) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple7) -> (rule9 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple2) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple1) -> (rule4 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple5) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule4 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4)) triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3)) ((triple1) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple2) -> (rule5 % int4)) triple1) -> (rule1 % int3)) ((triple1) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple2) -> (rule5 % int4)) triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5)) triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple5) -> (rule5 % int4))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5) -> (rule5 % int4))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) triple5) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5