Bob is round. Bob is smart. Bob is young. Charlie is furry. Charlie is smart. Charlie is white. Dave is big. Dave is furry. Dave is nice. Dave is round. Dave is smart. Dave is young. Fiona is big. Fiona is nice. Fiona is smart. Fiona is young. Nice things are furry. If Bob is nice and Bob is furry then Bob is young. All furry, round things are nice. Smart things are furry. If something is smart then it is furry. All furry things are round.
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If Bob is nice and Bob is furry then Bob is young.
((("Bob" "is" "nice" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "young" "+"))
All furry, round things are nice.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is smart then it is furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Dave is round.
True
1
proof
[(triple10 OR ((triple8) -> rule6) OR ((((triple11) -> rule4)) -> rule6) OR ((((triple11) -> rule5)) -> rule6) OR ((((triple9) -> rule1)) -> rule6))]
("Dave" "is" "round" "+")
triple10
((triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is not nice.
False
1
inv-proof
[(triple14 OR ((((triple15) -> rule4) ((((triple15) -> rule4)) -> rule6)) -> rule3) OR ((((triple15) -> rule4) ((((triple15) -> rule5)) -> rule6)) -> rule3) OR ((((triple15) -> rule5) ((((triple15) -> rule4)) -> rule6)) -> rule3) OR ((((triple15) -> rule5) ((((triple15) -> rule5)) -> rule6)) -> rule3))]
("Fiona" "is" "nice" "-")
triple14
((((triple15) -> (rule4 % int3)) ((((triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple15) -> (rule4 % int3)) ((((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple15) -> (rule5 % int3)) ((((triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple15) -> (rule5 % int3)) ((((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Bob is furry.
True
2
proof
[(((triple2) -> rule4) OR ((triple2) -> rule5))]
("Bob" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple14) -> rule1) OR ((triple15) -> rule4) OR ((triple15) -> rule5))]
("Fiona" "is" "furry" "-")
((triple14) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple15) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple15) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is nice.
True
4
proof
[(((triple4 ((triple4) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((triple4) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule3))]
("Charlie" "is" "nice" "+")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is not nice.
False
4
inv-proof
[(((triple4 ((triple4) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((triple4) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule3))]
("Charlie" "is" "nice" "-")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is round.[(triple1 OR ((((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] Bob is smart.[(triple2)] Bob is young.[(triple3 OR ((((((triple2) -> rule4) triple1) -> rule3) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule4) triple1) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule3) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) triple1) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule3) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule5)) -> rule6)) -> rule3) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule5)) -> rule6)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule4)) -> rule6)) -> rule3) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule4)) -> rule6)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule3) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule3) ((triple2) -> rule5)) -> rule2))] Charlie is furry.[(triple4 OR ((triple5) -> rule4) OR ((triple5) -> rule5))] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8 OR ((triple11) -> rule4) OR ((triple11) -> rule5) OR ((triple9) -> rule1))] Dave is nice.[(triple9 OR ((triple8 triple10) -> rule3) OR ((triple8 ((triple8) -> rule6)) -> rule3) OR ((((triple11) -> rule4) triple10) -> rule3) OR ((((triple11) -> rule5) triple10) -> rule3) OR ((((triple11) -> rule4) ((triple8) -> rule6)) -> rule3) OR ((((triple11) -> rule5) ((triple8) -> rule6)) -> rule3) OR ((triple8 ((((triple11) -> rule4)) -> rule6)) -> rule3) OR ((triple8 ((((triple11) -> rule5)) -> rule6)) -> rule3) OR ((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule6)) -> rule3) OR ((((triple11) -> rule4) ((((triple11) -> rule5)) -> rule6)) -> rule3) OR ((((triple11) -> rule5) ((((triple11) -> rule4)) -> rule6)) -> rule3) OR ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule6)) -> rule3))] Dave is round.[(triple10 OR ((triple8) -> rule6) OR ((((triple11) -> rule4)) -> rule6) OR ((((triple11) -> rule5)) -> rule6) OR ((((triple9) -> rule1)) -> rule6))] Dave is smart.[(triple11)] Dave is young.[(triple12)] Fiona is big.[(triple13)] Fiona is nice.[(triple14 OR ((((triple15) -> rule4) ((((triple15) -> rule4)) -> rule6)) -> rule3) OR ((((triple15) -> rule4) ((((triple15) -> rule5)) -> rule6)) -> rule3) OR ((((triple15) -> rule5) ((((triple15) -> rule4)) -> rule6)) -> rule3) OR ((((triple15) -> rule5) ((((triple15) -> rule5)) -> rule6)) -> rule3))] Fiona is smart.[(triple15)] Fiona is young.[(triple16)] @1: Bob is furry.[(((triple2) -> rule4) OR ((triple2) -> rule5))] Charlie is round.[(((triple4) -> rule6) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5)) -> rule6))] Fiona is furry.[(((triple14) -> rule1) OR ((triple15) -> rule4) OR ((triple15) -> rule5))] @2: Bob is nice.[(((((triple2) -> rule4) triple1) -> rule3) OR ((((triple2) -> rule5) triple1) -> rule3) OR ((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule3) OR ((((triple2) -> rule4) ((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((triple2) -> rule5) ((((triple2) -> rule4)) -> rule6)) -> rule3) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule3))] Charlie is nice.[(((triple4 ((triple4) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((triple4) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((triple4 ((((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule3))] Fiona is round.[(((((triple14) -> rule1)) -> rule6) OR ((((triple15) -> rule4)) -> rule6) OR ((((triple15) -> rule5)) -> rule6))]
Bob is round.
("Bob" "is" "round" "+")
triple1
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
((((((triple2) -> (rule4 % int3)) triple1) -> (rule3 % int2)) ((triple2) -> (rule4 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule4 % int3)) triple1) -> (rule3 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule3 % int2)) ((triple2) -> (rule4 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3)) triple1) -> (rule3 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule4 % int4)) ((((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule4 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule4 % int4)) ((((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule4 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule4 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule4 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule4 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
((triple5) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
((triple11) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple11) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple9) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple9
((triple8 triple10) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple8 ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple11) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple11) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple11) -> (rule4 % int3)) ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple11) -> (rule5 % int3)) ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple8 ((((triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple8 ((((triple11) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple11) -> (rule4 % int3)) ((((triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple11) -> (rule4 % int3)) ((((triple11) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple11) -> (rule5 % int3)) ((((triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple11) -> (rule5 % int3)) ((((triple11) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple10
((triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
((((triple15) -> (rule4 % int3)) ((((triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple15) -> (rule4 % int3)) ((((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple15) -> (rule5 % int3)) ((((triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple15) -> (rule5 % int3)) ((((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple14) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple15) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple15) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((triple14) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple15) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple15) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2