Bob is furry. Bob is nice. Bob is quiet. Bob is young. Dave is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Fiona is quiet. Fiona is red. Furry people are round. All round, young people are nice. All quiet, round people are blue. Red, nice people are young. Furry, round people are nice. Blue people are furry. All quiet people are blue. If someone is young and nice then they are quiet.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
All round, young people are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All quiet, round people are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Red, nice people are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Furry, round people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice then they are quiet.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
Erin is quiet.
True
1
proof
[(triple8 OR ((((triple9 triple7) -> rule4) triple7) -> rule8) OR ((((triple9 triple7) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8) OR ((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) triple7) -> rule8) OR ((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8))]
("Erin" "is" "quiet" "+")
triple8
((((triple9 triple7) -> (rule4 % int2)) triple7) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple9 triple7) -> (rule4 % int4)) ((triple6 ((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple9 ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple7) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple9 ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Bob is not nice.
False
1
inv-proof
[(triple2 OR ((triple1 ((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule1) triple4) -> rule2) OR ((((((triple3) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule5) OR ((triple1 ((((((triple3) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule1) triple4) -> rule2) OR ((((((triple3) -> rule7)) -> rule6) ((((((triple3) -> rule7)) -> rule6)) -> rule1)) -> rule5))]
("Bob" "is" "nice" "-")
triple2
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple1 ((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is round.
True
2
proof
[(((triple1) -> rule1) OR ((((((triple3) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple4 triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1))]
("Bob" "is" "round" "+")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((((triple4 triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule1) OR ((((((triple3) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple4 triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1))]
("Bob" "is" "round" "-")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((((triple4 triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Fiona is furry.
True
3
proof
[(((((triple10) -> rule7)) -> rule6))]
("Fiona" "is" "furry" "+")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple10) -> rule7)) -> rule6))]
("Fiona" "is" "furry" "-")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Dave is nice.
True
6
proof
[(((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule5))]
("Dave" "is" "nice" "+")
((((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not nice.
False
6
inv-proof
[(((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule5))]
("Dave" "is" "nice" "-")
((((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Fiona is nice.
True
8
proof
[(((((((triple10) -> rule7)) -> rule6) ((((((triple10) -> rule7)) -> rule6)) -> rule1)) -> rule5))]
("Fiona" "is" "nice" "+")
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is not nice.
False
8
inv-proof
[(((((((triple10) -> rule7)) -> rule6) ((((((triple10) -> rule7)) -> rule6)) -> rule1)) -> rule5))]
("Fiona" "is" "nice" "-")
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
True
10
proof
[(((triple11 ((((((triple10) -> rule7)) -> rule6) ((((((triple10) -> rule7)) -> rule6)) -> rule1)) -> rule5)) -> rule4))]
("Fiona" "is" "young" "+")
((triple11 ((((((triple10) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple10) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is not young.
False
10
inv-proof
[(((triple11 ((((((triple10) -> rule7)) -> rule6) ((((((triple10) -> rule7)) -> rule6)) -> rule1)) -> rule5)) -> rule4))]
("Fiona" "is" "young" "-")
((triple11 ((((((triple10) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple10) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Dave is not quiet.
Unknown
inv-rconc
[@2: Dave is quiet.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is furry.[(triple1 OR ((((triple3) -> rule7)) -> rule6) OR ((((((triple4 triple2) -> rule8)) -> rule7)) -> rule6))] Bob is nice.[(triple2 OR ((triple1 ((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule1) triple4) -> rule2) OR ((((((triple3) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule5) OR ((triple1 ((((((triple3) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule1) triple4) -> rule2) OR ((((((triple3) -> rule7)) -> rule6) ((((((triple3) -> rule7)) -> rule6)) -> rule1)) -> rule5))] Bob is quiet.[(triple3 OR ((triple4 triple2) -> rule8) OR ((triple4 ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule8) OR ((triple4 ((((triple1) -> rule1) triple4) -> rule2)) -> rule8))] Bob is young.[(triple4)] Dave is blue.[(triple5)] Erin is furry.[(triple6 OR ((((triple8) -> rule7)) -> rule6) OR ((((((((triple9 triple7) -> rule4) triple7) -> rule8)) -> rule7)) -> rule6))] Erin is nice.[(triple7 OR ((triple6 ((triple6) -> rule1)) -> rule5) OR ((((((triple8) -> rule7)) -> rule6) ((triple6) -> rule1)) -> rule5) OR ((triple6 ((((((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple8) -> rule7)) -> rule6) ((((((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule5))] Erin is quiet.[(triple8 OR ((((triple9 triple7) -> rule4) triple7) -> rule8) OR ((((triple9 triple7) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8) OR ((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) triple7) -> rule8) OR ((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8))] Erin is red.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] @1: Bob is blue.[(((triple3) -> rule7) OR ((((triple4 triple2) -> rule8)) -> rule7) OR ((triple3 ((triple1) -> rule1)) -> rule3) OR ((((triple4 triple2) -> rule8) ((triple1) -> rule1)) -> rule3) OR ((((triple4 ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule8)) -> rule7) OR ((((triple4 ((((triple1) -> rule1) triple4) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule8) ((triple1) -> rule1)) -> rule3) OR ((((triple4 ((((triple1) -> rule1) triple4) -> rule2)) -> rule8) ((triple1) -> rule1)) -> rule3))] Bob is round.[(((triple1) -> rule1) OR ((((((triple3) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple4 triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1))] Dave is furry.[(((triple5) -> rule6))] Erin is blue.[(((triple8) -> rule7) OR ((triple8 ((triple6) -> rule1)) -> rule3) OR ((((((triple9 triple7) -> rule4) triple7) -> rule8)) -> rule7) OR ((((((triple9 triple7) -> rule4) triple7) -> rule8) ((triple6) -> rule1)) -> rule3) OR ((((((triple9 triple7) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8)) -> rule7) OR ((((((triple9 triple7) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8) ((triple6) -> rule1)) -> rule3) OR ((((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) triple7) -> rule8)) -> rule7) OR ((((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) triple7) -> rule8) ((triple6) -> rule1)) -> rule3) OR ((((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8)) -> rule7) OR ((((((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule8) ((triple6) -> rule1)) -> rule3))] Erin is round.[(((triple6) -> rule1) OR ((((((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((((((triple9 triple7) -> rule4) triple7) -> rule8)) -> rule7)) -> rule6)) -> rule1))] Erin is young.[(((triple9 triple7) -> rule4) OR ((triple9 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4) OR ((triple9 ((((((triple8) -> rule7)) -> rule6) ((triple6) -> rule1)) -> rule5)) -> rule4) OR ((triple9 ((triple6 ((((((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((triple9 ((((((triple8) -> rule7)) -> rule6) ((((((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule5)) -> rule4))] Fiona is blue.[(((triple10) -> rule7))] @2: Dave is round.[(((((triple5) -> rule6)) -> rule1))] Fiona is furry.[(((((triple10) -> rule7)) -> rule6))] @3: Dave is nice.[(((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule5))] Fiona is round.[(((((((triple10) -> rule7)) -> rule6)) -> rule1))] @4: Fiona is nice.[(((((((triple10) -> rule7)) -> rule6) ((((((triple10) -> rule7)) -> rule6)) -> rule1)) -> rule5))] @5: Fiona is young.[(((triple11 ((((((triple10) -> rule7)) -> rule6) ((((((triple10) -> rule7)) -> rule6)) -> rule1)) -> rule5)) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple4 triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple1 ((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple4 triple2) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple4 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple4 ((((triple1) -> (rule1 % int3)) triple4) -> (rule2 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((((triple8) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((((triple9 triple7) -> (rule4 % int4)) triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple6 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((triple6 ((((((triple8) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple8) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((((triple9 triple7) -> (rule4 % int2)) triple7) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple9 triple7) -> (rule4 % int4)) ((triple6 ((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple9 ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple7) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple9 ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Bob is blue.
("Bob" "is" "blue" "+")
((triple3) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple4 triple2) -> (rule8 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple3 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4 triple2) -> (rule8 % int3)) ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple4 ((triple1 ((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((((triple1) -> (rule1 % int4)) triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((triple1 ((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1) -> (rule1 % int4))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((((triple1) -> (rule1 % int4)) triple4) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1) -> (rule1 % int4))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((((triple4 triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((triple5) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple8) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple9 triple7) -> (rule4 % int3)) triple7) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple9 triple7) -> (rule4 % int4)) triple7) -> (rule8 % int3)) ((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple9 triple7) -> (rule4 % int5)) ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple9 triple7) -> (rule4 % int5)) ((triple6 ((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple6) -> (rule1 % int4))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple9 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple9 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule8 % int2)) ((triple6) -> (rule1 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple9 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple6 ((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple9 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple6 ((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int2)) ((triple6) -> (rule1 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
((triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((((triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((((((triple9 triple7) -> (rule4 % int5)) triple7) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
((triple9 triple7) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple9 ((triple6 ((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple9 ((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((triple9 ((triple6 ((((((triple8) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((triple9 ((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple8) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple10) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple10) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((triple11 ((((((triple10) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple10) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5