Anne is big. Anne is blue. Anne is furry. Anne is red. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is red. Bob is round. Erin is big. Erin is furry. Erin is red. Erin is round. Erin is smart. Gary is blue. If something is furry then it is blue. Smart, furry things are round. All big, blue things are smart. All round things are nice. If Bob is big then Bob is furry. All furry things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If something is furry then it is blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Smart, furry things are round.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
All big, blue things are smart.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If Bob is big then Bob is furry.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "furry" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Anne is red.
True
1
proof
[(triple4)]
("Anne" "is" "red" "+")
triple4
Gary is not blue.
False
1
inv-proof
[(triple16)]
("Gary" "is" "blue" "-")
triple16
Erin is nice.
True
2
proof
[(((triple14) -> rule4) OR ((((triple15 triple12) -> rule2)) -> rule4) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule2)) -> rule4) OR ((((((((triple12) -> rule6) ((triple12) -> rule1)) -> rule3) triple12) -> rule2)) -> rule4))]
("Erin" "is" "nice" "+")
((triple14) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple15 triple12) -> (rule2 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple11 ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple12) -> (rule6 % int5)) ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Bob is not smart.
False
3
inv-proof
[(((triple5 triple6) -> rule3) OR ((triple5 ((triple7) -> rule1)) -> rule3) OR ((((triple7) -> rule6) triple6) -> rule3) OR ((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) OR ((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3))]
("Bob" "is" "smart" "-")
((triple5 triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple5 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple7) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple5 ((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple7) -> (rule6 % int4)) ((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Anne is round.
True
5
proof
[(((((triple1 triple2) -> rule3) triple3) -> rule2) OR ((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2))]
("Anne" "is" "round" "+")
((((triple1 triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1 ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple3) -> (rule6 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple3) -> (rule6 % int4)) ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is not round.
False
5
inv-proof
[(((((triple1 triple2) -> rule3) triple3) -> rule2) OR ((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2))]
("Anne" "is" "round" "-")
((((triple1 triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1 ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple3) -> (rule6 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple3) -> (rule6 % int4)) ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
True
6
proof
[(((((((triple1 triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4))]
("Anne" "is" "nice" "+")
((((((triple1 triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple1 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule6 % int4)) triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is not nice.
False
6
inv-proof
[(((((((triple1 triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4))]
("Anne" "is" "nice" "-")
((((((triple1 triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple1 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule6 % int4)) triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is smart.
Unknown
rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Gary" "is" "smart" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is big.[(triple1 OR ((triple3) -> rule6))] Anne is blue.[(triple2 OR ((triple3) -> rule1))] Anne is furry.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5 OR ((triple7) -> rule6))] Bob is blue.[(triple6 OR ((triple7) -> rule1) OR ((((triple5) -> rule5)) -> rule1))] Bob is furry.[(triple7 OR ((triple5) -> rule5))] Bob is nice.[(triple8 OR ((triple10) -> rule4) OR ((((((triple5 triple6) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((triple5 triple6) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 ((triple7) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) triple6) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((triple5 ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) triple6) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2)) -> rule4))] Bob is red.[(triple9)] Bob is round.[(triple10 OR ((((triple5 triple6) -> rule3) triple7) -> rule2) OR ((((triple5 triple6) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((triple5 ((triple7) -> rule1)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule3) triple7) -> rule2) OR ((((triple5 ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2) OR ((((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3) ((triple5) -> rule5)) -> rule2))] Erin is big.[(triple11 OR ((triple12) -> rule6))] Erin is furry.[(triple12)] Erin is red.[(triple13)] Erin is round.[(triple14 OR ((triple15 triple12) -> rule2) OR ((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule2) OR ((((((triple12) -> rule6) ((triple12) -> rule1)) -> rule3) triple12) -> rule2))] Erin is smart.[(triple15 OR ((triple11 ((triple12) -> rule1)) -> rule3) OR ((((triple12) -> rule6) ((triple12) -> rule1)) -> rule3))] Gary is blue.[(triple16)] @1: Anne is smart.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule6) triple2) -> rule3) OR ((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3))] Bob is smart.[(((triple5 triple6) -> rule3) OR ((triple5 ((triple7) -> rule1)) -> rule3) OR ((((triple7) -> rule6) triple6) -> rule3) OR ((((triple7) -> rule6) ((triple7) -> rule1)) -> rule3) OR ((triple5 ((((triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple7) -> rule6) ((((triple5) -> rule5)) -> rule1)) -> rule3))] Erin is blue.[(((triple12) -> rule1))] Erin is nice.[(((triple14) -> rule4) OR ((((triple15 triple12) -> rule2)) -> rule4) OR ((((((triple11 ((triple12) -> rule1)) -> rule3) triple12) -> rule2)) -> rule4) OR ((((((((triple12) -> rule6) ((triple12) -> rule1)) -> rule3) triple12) -> rule2)) -> rule4))] @2: Anne is round.[(((((triple1 triple2) -> rule3) triple3) -> rule2) OR ((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2))] @3: Anne is nice.[(((((((triple1 triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((triple1 ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) triple2) -> rule3) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule3) triple3) -> rule2)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple3) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
((triple7) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
((triple7) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple7
((triple5) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple8
((triple10) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((((triple5 triple6) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple5 triple6) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple7) -> (rule6 % int4)) triple6) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple7) -> (rule6 % int5)) triple6) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((triple7) -> (rule6 % int6)) ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple7) -> (rule6 % int6)) ((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((((triple7) -> (rule6 % int6)) ((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10
((((triple5 triple6) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple5 triple6) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple5 ((triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple7) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple5 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple7) -> (rule6 % int4)) triple6) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple7) -> (rule6 % int4)) ((triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple5 ((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple5 ((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple5) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple7) -> (rule6 % int5)) ((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple5) -> (rule5 % int4))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
triple11
((triple12) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is red.
("Erin" "is" "red" "+")
triple13
Erin is round.
("Erin" "is" "round" "+")
triple14
((triple15 triple12) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple11 ((triple12) -> (rule1 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple12) -> (rule6 % int4)) ((triple12) -> (rule1 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple15
((triple11 ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple12) -> (rule6 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple16
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 triple2) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple3) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple3) -> (rule6 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((triple5 triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple5 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple7) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple5 ((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple7) -> (rule6 % int4)) ((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((triple12) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple14) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple15 triple12) -> (rule2 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple11 ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple12) -> (rule6 % int5)) ((triple12) -> (rule1 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
((((triple1 triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1 ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple3) -> (rule6 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple3) -> (rule6 % int4)) ((triple3) -> (rule1 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1 triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple1 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule6 % int4)) triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5