Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is white. Bob is blue. Bob is green. Bob is kind. Bob is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. All white things are young. All smart things are green. Young, furry things are smart. Smart, young things are blue. If something is green then it is furry. Smart things are white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
All white things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Young, furry things are smart.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Smart, young things are blue.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is green then it is furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Bob is blue.
True
1
proof
[(triple6 OR ((((triple9 ((triple7) -> rule5)) -> rule3) triple9) -> rule4))]
("Bob" "is" "blue" "+")
triple6
((((triple9 ((triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Charlie is not green.
False
1
inv-proof
[(triple12 OR ((triple14) -> rule2) OR ((((triple16 triple11) -> rule3)) -> rule2) OR ((((((triple15) -> rule1) triple11) -> rule3)) -> rule2))]
("Charlie" "is" "green" "-")
triple12
((triple14) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple16 triple11) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple15) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob is furry.
True
2
proof
[(((triple7) -> rule5))]
("Bob" "is" "furry" "+")
((triple7) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple7) -> rule5))]
("Bob" "is" "furry" "-")
((triple7) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
True
4
proof
[(((triple9 ((triple7) -> rule5)) -> rule3))]
("Bob" "is" "smart" "+")
((triple9 ((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Anne is not blue.
False
4
inv-proof
[(((triple4 ((triple5) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) triple1) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) triple1) -> rule3) ((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3) ((((triple4) -> rule6)) -> rule1)) -> rule4))]
("Anne" "is" "blue" "-")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple5) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple5) -> (rule1 % int3))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple5) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((triple4) -> (rule6 % int2))) -> (rule1 % int4))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple5) -> (rule1 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule1 % int4))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple5) -> (rule1 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Bob is white.
True
5
proof
[(((((triple9 ((triple7) -> rule5)) -> rule3)) -> rule6))]
("Bob" "is" "white" "+")
((((triple9 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is not white.
False
5
inv-proof
[(((((triple9 ((triple7) -> rule5)) -> rule3)) -> rule6))]
("Bob" "is" "white" "-")
((((triple9 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
@0: Anne is furry.[(triple1 OR ((triple2) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] Anne is green.[(triple2 OR ((triple4) -> rule2) OR ((((((triple5) -> rule1) triple1) -> rule3)) -> rule2))] Anne is kind.[(triple3)] Anne is smart.[(triple4 OR ((((triple5) -> rule1) triple1) -> rule3) OR ((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3))] Anne is white.[(triple5 OR ((triple4) -> rule6))] Bob is blue.[(triple6 OR ((((triple9 ((triple7) -> rule5)) -> rule3) triple9) -> rule4))] Bob is green.[(triple7)] Bob is kind.[(triple8)] Bob is young.[(triple9)] Charlie is blue.[(triple10 OR ((triple14 triple16) -> rule4) OR ((triple14 ((triple15) -> rule1)) -> rule4) OR ((((triple16 triple11) -> rule3) triple16) -> rule4) OR ((((triple16 triple11) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((triple14 ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((triple16 ((triple12) -> rule5)) -> rule3) triple16) -> rule4) OR ((((((triple15) -> rule1) triple11) -> rule3) triple16) -> rule4) OR ((((triple16 triple11) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((triple16 ((triple12) -> rule5)) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) triple11) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3) triple16) -> rule4) OR ((((triple16 ((triple12) -> rule5)) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) triple11) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4))] Charlie is furry.[(triple11 OR ((triple12) -> rule5) OR ((((triple14) -> rule2)) -> rule5))] Charlie is green.[(triple12 OR ((triple14) -> rule2) OR ((((triple16 triple11) -> rule3)) -> rule2) OR ((((((triple15) -> rule1) triple11) -> rule3)) -> rule2))] Charlie is kind.[(triple13)] Charlie is smart.[(triple14 OR ((triple16 triple11) -> rule3) OR ((triple16 ((triple12) -> rule5)) -> rule3) OR ((((triple15) -> rule1) triple11) -> rule3) OR ((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3))] Charlie is white.[(triple15 OR ((triple14) -> rule6) OR ((((triple16 triple11) -> rule3)) -> rule6) OR ((((triple16 ((triple12) -> rule5)) -> rule3)) -> rule6))] Charlie is young.[(triple16 OR ((triple15) -> rule1) OR ((((triple14) -> rule6)) -> rule1))] @1: Anne is young.[(((triple5) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] Bob is furry.[(((triple7) -> rule5))] @2: Anne is blue.[(((triple4 ((triple5) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) triple1) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) triple1) -> rule3) ((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3) ((((triple4) -> rule6)) -> rule1)) -> rule4))] Bob is smart.[(((triple9 ((triple7) -> rule5)) -> rule3))] @3: Bob is white.[(((((triple9 ((triple7) -> rule5)) -> rule3)) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple2) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((((triple5) -> (rule1 % int3)) triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((((triple5) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple5) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple4) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
((((triple9 ((triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
triple10
((triple14 triple16) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple14 ((triple15) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple16 triple11) -> (rule3 % int2)) triple16) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple16 triple11) -> (rule3 % int3)) ((triple15) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple14 ((((triple14) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple16 ((triple12) -> (rule5 % int3))) -> (rule3 % int2)) triple16) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple15) -> (rule1 % int3)) triple11) -> (rule3 % int2)) triple16) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple16 triple11) -> (rule3 % int4)) ((((triple14) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple16 ((triple12) -> (rule5 % int4))) -> (rule3 % int3)) ((triple15) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple15) -> (rule1 % int3)) triple11) -> (rule3 % int2)) ((triple15) -> (rule1 % int3))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple15) -> (rule1 % int4)) ((triple12) -> (rule5 % int3))) -> (rule3 % int2)) triple16) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple16 ((triple12) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple14) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple15) -> (rule1 % int4)) triple11) -> (rule3 % int3)) ((((triple14) -> (rule6 % int2))) -> (rule1 % int4))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple15) -> (rule1 % int4)) ((triple12) -> (rule5 % int3))) -> (rule3 % int2)) ((triple15) -> (rule1 % int4))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple15) -> (rule1 % int5)) ((triple12) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple11
((triple12) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple12
((triple14) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple16 triple11) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple15) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple13
Charlie is smart.
("Charlie" "is" "smart" "+")
triple14
((triple16 triple11) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple16 ((triple12) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple15) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple15) -> (rule1 % int3)) ((triple12) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
triple15
((triple14) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple16 triple11) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple16 ((triple12) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple16
((triple15) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((triple5) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((triple7) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple5) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple5) -> (rule1 % int3))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple5) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((triple4) -> (rule6 % int2))) -> (rule1 % int4))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple5) -> (rule1 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule1 % int4))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple5) -> (rule1 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
((triple9 ((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple9 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3