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