Bob is big. Bob is quiet. Bob is white. Charlie is big. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is white. Dave is big. Dave is furry. Dave is green. Dave is quiet. Gary is green. Gary is kind. Gary is quiet. Gary is white. All white, furry things are kind. If Bob is kind then Bob is big. If something is white and big then it is young. All kind, young things are green. All quiet things are big. All young things are quiet. Big, white things are furry. Big things are young.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
All white, furry things are kind.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If Bob is kind then Bob is big.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "big" "+"))
If something is white and big then it is young.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All kind, young things are green.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Big, white things are furry.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Bob is white.
True
1
proof
[(triple3)]
("Bob" "is" "white" "+")
triple3
Bob is not big.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule5))]
("Bob" "is" "big" "-")
triple1
((triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Dave is young.
True
2
proof
[(((triple9) -> rule8) OR ((((triple12) -> rule5)) -> rule8))]
("Dave" "is" "young" "+")
((triple9) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Bob is not young.
False
2
inv-proof
[(((triple1) -> rule8) OR ((triple3 triple1) -> rule3) OR ((((triple2) -> rule5)) -> rule8) OR ((triple3 ((triple2) -> rule5)) -> rule3))]
("Bob" "is" "young" "-")
((triple1) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple3 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Gary is furry.
True
4
proof
[(((((triple15) -> rule5) triple16) -> rule7))]
("Gary" "is" "furry" "+")
((((triple15) -> (rule5 % int2)) triple16) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((triple6 ((triple4) -> rule8)) -> rule4) OR ((triple6 ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((triple6 ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((triple6 ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 triple5) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4))]
("Charlie" "is" "green" "-")
((triple6 ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple6 ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple8 triple5) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple8 triple5) -> (rule1 % int3)) ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple6 ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple6 ((triple8 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple8 triple5) -> (rule1 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple8 triple5) -> (rule1 % int4)) ((triple8 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple8 ((triple4 triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple8 ((triple4 triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple8 ((triple4 triple8) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple8 ((triple4 triple8) -> (rule7 % int5))) -> (rule1 % int4)) ((triple8 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple8 ((triple7) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Bob is green.
True
8
proof
[(((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4))]
("Bob" "is" "green" "+")
((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple3 ((triple1 triple3) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple3 ((triple1 triple3) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 ((triple2) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not green.
False
8
inv-proof
[(((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4))]
("Bob" "is" "green" "-")
((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple3 ((triple1 triple3) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple3 ((triple1 triple3) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 ((triple2) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is big.[(triple1 OR ((triple2) -> rule5))] Bob is quiet.[(triple2 OR ((((triple1) -> rule8)) -> rule6) OR ((((triple3 triple1) -> rule3)) -> rule6))] Bob is white.[(triple3)] Charlie is big.[(triple4 OR ((triple7) -> rule5))] Charlie is furry.[(triple5 OR ((triple4 triple8) -> rule7) OR ((((triple7) -> rule5) triple8) -> rule7))] Charlie is kind.[(triple6 OR ((triple8 triple5) -> rule1) OR ((triple8 ((triple4 triple8) -> rule7)) -> rule1) OR ((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1))] Charlie is quiet.[(triple7 OR ((((triple4) -> rule8)) -> rule6) OR ((((triple8 triple4) -> rule3)) -> rule6))] Charlie is white.[(triple8)] Dave is big.[(triple9 OR ((triple12) -> rule5))] Dave is furry.[(triple10)] Dave is green.[(triple11)] Dave is quiet.[(triple12 OR ((((triple9) -> rule8)) -> rule6))] Gary is green.[(triple13 OR ((triple14 ((((triple15) -> rule5)) -> rule8)) -> rule4) OR ((triple14 ((triple16 ((triple15) -> rule5)) -> rule3)) -> rule4) OR ((((triple16 ((((triple15) -> rule5) triple16) -> rule7)) -> rule1) ((((triple15) -> rule5)) -> rule8)) -> rule4) OR ((((triple16 ((((triple15) -> rule5) triple16) -> rule7)) -> rule1) ((triple16 ((triple15) -> rule5)) -> rule3)) -> rule4))] Gary is kind.[(triple14 OR ((triple16 ((((triple15) -> rule5) triple16) -> rule7)) -> rule1))] Gary is quiet.[(triple15)] Gary is white.[(triple16)] @1: Bob is furry.[(((triple1 triple3) -> rule7) OR ((((triple2) -> rule5) triple3) -> rule7))] Bob is young.[(((triple1) -> rule8) OR ((triple3 triple1) -> rule3) OR ((((triple2) -> rule5)) -> rule8) OR ((triple3 ((triple2) -> rule5)) -> rule3))] Charlie is young.[(((triple4) -> rule8) OR ((triple8 triple4) -> rule3) OR ((((triple7) -> rule5)) -> rule8) OR ((triple8 ((triple7) -> rule5)) -> rule3))] Dave is young.[(((triple9) -> rule8) OR ((((triple12) -> rule5)) -> rule8))] Gary is big.[(((triple15) -> rule5))] @2: Bob is kind.[(((triple3 ((triple1 triple3) -> rule7)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1))] Charlie is green.[(((triple6 ((triple4) -> rule8)) -> rule4) OR ((triple6 ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((triple6 ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((triple6 ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 triple5) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4))] Gary is furry.[(((((triple15) -> rule5) triple16) -> rule7))] Gary is young.[(((((triple15) -> rule5)) -> rule8) OR ((triple16 ((triple15) -> rule5)) -> rule3))] @3: Bob is green.[(((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple3 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((triple7) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
((triple4 triple8) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple7) -> (rule5 % int2)) triple8) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((triple8 triple5) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple8 ((triple4 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple8 ((((triple7) -> (rule5 % int3)) triple8) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
((((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple8 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Dave is big.
("Dave" "is" "big" "+")
triple9
((triple12) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple11
Dave is quiet.
("Dave" "is" "quiet" "+")
triple12
((((triple9) -> (rule8 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple13
((triple14 ((((triple15) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple14 ((triple16 ((triple15) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple16 ((((triple15) -> (rule5 % int5)) triple16) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple15) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple16 ((((triple15) -> (rule5 % int5)) triple16) -> (rule7 % int4))) -> (rule1 % int3)) ((triple16 ((triple15) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
triple14
((triple16 ((((triple15) -> (rule5 % int3)) triple16) -> (rule7 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 triple3) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple3 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple8 triple4) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple9) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple15) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple3 ((((triple2) -> (rule5 % int3)) triple3) -> (rule7 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((triple6 ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple6 ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple8 triple5) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple8 triple5) -> (rule1 % int3)) ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple6 ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple6 ((triple8 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple8 triple5) -> (rule1 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple8 triple5) -> (rule1 % int4)) ((triple8 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple8 ((triple4 triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple8 ((triple4 triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple8 ((triple4 triple8) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple8 ((triple4 triple8) -> (rule7 % int5))) -> (rule1 % int4)) ((triple8 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple8 ((((triple7) -> (rule5 % int5)) triple8) -> (rule7 % int4))) -> (rule1 % int3)) ((triple8 ((triple7) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
((((triple15) -> (rule5 % int2)) triple16) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple15) -> (rule5 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple16 ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple3 ((triple1 triple3) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple3 ((triple1 triple3) -> (rule7 % int5))) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple3 ((((triple2) -> (rule5 % int5)) triple3) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 ((triple2) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5