Bob is big. Bob is red. Bob is rough. Bob is round. Bob is smart. Charlie is rough. Charlie is round. Dave is red. Dave is smart. Fiona is rough. Fiona is round. Fiona is smart. If someone is big then they are smart. If someone is red then they are rough. All rough, furry people are big. If someone is smart then they are rough. All rough people are furry. All round people are smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is big then they are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All rough, furry people are big.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is smart then they are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
All rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple10 OR ((triple12) -> rule4) OR ((((triple11) -> rule6)) -> rule4))]
("Fiona" "is" "rough" "-")
triple10
((triple12) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Dave is rough.
True
2
proof
[(((triple8) -> rule2) OR ((triple9) -> rule4))]
("Dave" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple9) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Charlie is not smart.
False
2
inv-proof
[(((triple7) -> rule6) OR ((((triple6 ((triple6) -> rule5)) -> rule3)) -> rule1))]
("Charlie" "is" "smart" "-")
((triple7) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple6 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Fiona is big.
True
4
proof
[(((triple10 ((triple10) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((triple10 ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((triple10 ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3))]
("Fiona" "is" "big" "+")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple12) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple10 ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple12) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((triple10 ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple12) -> (rule4 % int4)) ((((((triple11) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is not big.
False
4
inv-proof
[(((triple10 ((triple10) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((triple10 ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((triple10 ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3))]
("Fiona" "is" "big" "-")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple12) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple10 ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple12) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((triple10 ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple12) -> (rule4 % int4)) ((((((triple11) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Dave is big.
True
6
proof
[(((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule2) ((((triple9) -> rule4)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule5)) -> rule3))]
("Dave" "is" "big" "+")
((((triple8) -> (rule2 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple8) -> (rule2 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not big.
False
6
inv-proof
[(((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule2) ((((triple9) -> rule4)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule5)) -> rule3))]
("Dave" "is" "big" "-")
((((triple8) -> (rule2 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple8) -> (rule2 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple1 OR ((triple3 ((triple3) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((triple3) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((triple3 ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((triple3 ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((triple3 ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule4) ((((((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple2) -> rule2) OR ((triple5) -> rule4) OR ((((triple1) -> rule1)) -> rule4) OR ((((triple4) -> rule6)) -> rule4))] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple1) -> rule1) OR ((triple4) -> rule6) OR ((((triple3 ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((triple3 ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Charlie is rough.[(triple6 OR ((((triple7) -> rule6)) -> rule4))] Charlie is round.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Fiona is rough.[(triple10 OR ((triple12) -> rule4) OR ((((triple11) -> rule6)) -> rule4))] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((triple11) -> rule6) OR ((((triple10 ((triple10) -> rule5)) -> rule3)) -> rule1))] @1: Bob is furry.[(((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple5) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule4)) -> rule5) OR ((((((triple4) -> rule6)) -> rule4)) -> rule5))] Charlie is furry.[(((triple6) -> rule5) OR ((((((triple7) -> rule6)) -> rule4)) -> rule5))] Charlie is smart.[(((triple7) -> rule6) OR ((((triple6 ((triple6) -> rule5)) -> rule3)) -> rule1))] Dave is rough.[(((triple8) -> rule2) OR ((triple9) -> rule4))] Fiona is furry.[(((triple10) -> rule5) OR ((((triple12) -> rule4)) -> rule5) OR ((((((triple11) -> rule6)) -> rule4)) -> rule5))] @2: Charlie is big.[(((triple6 ((triple6) -> rule5)) -> rule3) OR ((((((triple7) -> rule6)) -> rule4) ((triple6) -> rule5)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Dave is furry.[(((((triple8) -> rule2)) -> rule5) OR ((((triple9) -> rule4)) -> rule5))] Fiona is big.[(((triple10 ((triple10) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((triple10 ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((triple10) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((triple12) -> rule4)) -> rule5)) -> rule3) OR ((triple10 ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple12) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) ((((((triple11) -> rule6)) -> rule4)) -> rule5)) -> rule3))] @3: Dave is big.[(((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule2) ((((triple9) -> rule4)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule5)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple5) -> (rule4 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple3 ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple3 ((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple2) -> (rule2 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((triple3 ((((((triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2) -> (rule2 % int4)) ((((((triple4) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple5) -> (rule4 % int4)) ((((((triple4) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple5) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple4) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple3 ((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule2 % int4)) ((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple2) -> (rule2 % int4)) ((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((((((triple8) -> (rule2 % int4)) ((((triple8) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple12) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((triple11) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple10 ((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple6) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple7) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple6 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple9) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple6 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((((triple8) -> (rule2 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple10 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple12) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple10 ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple12) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((triple10 ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple12) -> (rule4 % int4)) ((((((triple11) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((((triple8) -> (rule2 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple8) -> (rule2 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3