Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is young. Rough things are cold. All round, quiet things are furry. If something is cold and rough then it is young. Round, furry things are rough. Young, quiet things are round. All round things are cold. All young things are round. All cold, nice things are furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
All round, quiet things are furry.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is cold and rough then it is young.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Round, furry things are rough.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Young, quiet things are round.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
All round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
All cold, nice things are furry.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Harry is furry.
True
1
proof
[(triple6 OR ((triple5 triple7) -> rule8) OR ((triple9 triple8) -> rule2) OR ((((triple10) -> rule7) triple8) -> rule2) OR ((((triple9) -> rule6) triple7) -> rule8) OR ((((triple10 triple8) -> rule5) triple8) -> rule2) OR ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8) OR ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8))]
("Harry" "is" "furry" "+")
triple6
((triple5 triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple9 triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple10) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple9) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple10 triple8) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10 triple8) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Bob is not furry.
False
1
inv-proof
[(triple1 OR ((((triple4) -> rule1) triple2) -> rule8) OR ((((((((triple4) -> rule1) triple4) -> rule3)) -> rule7) triple3) -> rule2) OR ((((((((triple4) -> rule1) triple4) -> rule3) triple3) -> rule5) triple3) -> rule2))]
("Bob" "is" "furry" "-")
triple1
((((triple4) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((((triple4) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((triple4) -> (rule1 % int4)) triple4) -> (rule3 % int3)) triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Harry is rough.
True
3
proof
[(((triple9 triple6) -> rule4) OR ((triple9 ((triple5 triple7) -> rule8)) -> rule4) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) triple6) -> rule4) OR ((((triple10 triple8) -> rule5) triple6) -> rule4) OR ((((triple10) -> rule7) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple9 triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((triple9 ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4))]
("Harry" "is" "rough" "+")
((triple9 triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple9 ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple10) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10 triple8) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple9 ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int4)) ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int3)) ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int4)) ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int3)) ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((triple9 ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int4)) ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int4)) ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not rough.
False
3
inv-proof
[(((triple9 triple6) -> rule4) OR ((triple9 ((triple5 triple7) -> rule8)) -> rule4) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) triple6) -> rule4) OR ((((triple10 triple8) -> rule5) triple6) -> rule4) OR ((((triple10) -> rule7) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple9 triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((triple9 ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4))]
("Harry" "is" "rough" "-")
((triple9 triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple9 ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple10) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10 triple8) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple9 ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int4)) ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int3)) ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int4)) ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int3)) ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((triple9 ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int4)) ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int4)) ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Bob is young.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule3))]
("Bob" "is" "young" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not young.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule3))]
("Bob" "is" "young" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
True
5
proof
[(((((((triple4) -> rule1) triple4) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) triple4) -> rule3) triple3) -> rule5))]
("Bob" "is" "round" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not round.
False
5
inv-proof
[(((((((triple4) -> rule1) triple4) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) triple4) -> rule3) triple3) -> rule5))]
("Bob" "is" "round" "-")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
@0: Bob is furry.[(triple1 OR ((((triple4) -> rule1) triple2) -> rule8) OR ((((((((triple4) -> rule1) triple4) -> rule3)) -> rule7) triple3) -> rule2) OR ((((((((triple4) -> rule1) triple4) -> rule3) triple3) -> rule5) triple3) -> rule2))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Harry is cold.[(triple5 OR ((triple9) -> rule6) OR ((((triple10) -> rule7)) -> rule6) OR ((((triple10 triple8) -> rule5)) -> rule6) OR ((((triple9 triple6) -> rule4)) -> rule1) OR ((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) triple6) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) triple6) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple10) -> rule7) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4)) -> rule1))] Harry is furry.[(triple6 OR ((triple5 triple7) -> rule8) OR ((triple9 triple8) -> rule2) OR ((((triple10) -> rule7) triple8) -> rule2) OR ((((triple9) -> rule6) triple7) -> rule8) OR ((((triple10 triple8) -> rule5) triple8) -> rule2) OR ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8) OR ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8))] Harry is nice.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule7) OR ((triple10 triple8) -> rule5))] Harry is young.[(triple10 OR ((triple5 ((triple9 triple6) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 triple6) -> rule4)) -> rule3) OR ((triple5 ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((triple5 ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 triple6) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((triple5 ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 triple6) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3))] @1: Bob is cold.[(((triple4) -> rule1))] Harry is rough.[(((triple9 triple6) -> rule4) OR ((triple9 ((triple5 triple7) -> rule8)) -> rule4) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) triple6) -> rule4) OR ((((triple10 triple8) -> rule5) triple6) -> rule4) OR ((((triple10) -> rule7) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple9 triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((triple9 ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4))] @2: Bob is young.[(((((triple4) -> rule1) triple4) -> rule3))] @3: Bob is round.[(((((((triple4) -> rule1) triple4) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) triple4) -> rule3) triple3) -> rule5))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((((triple4) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((((triple4) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((triple4) -> (rule1 % int4)) triple4) -> (rule3 % int3)) triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
((triple9) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10 triple8) -> (rule5 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple9 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple10) -> (rule7 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10 triple8) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10) -> (rule7 % int4)) ((triple9 triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10 triple8) -> (rule5 % int4)) ((triple9 triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple9 ((((triple10) -> (rule7 % int4)) triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple9 ((((triple10 triple8) -> (rule5 % int4)) triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10) -> (rule7 % int4)) ((((triple10) -> (rule7 % int4)) triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10) -> (rule7 % int4)) ((((triple10 triple8) -> (rule5 % int4)) triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10 triple8) -> (rule5 % int4)) ((((triple10) -> (rule7 % int4)) triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10 triple8) -> (rule5 % int4)) ((((triple10 triple8) -> (rule5 % int4)) triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple6
((triple5 triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple9 triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple10) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple9) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple10 triple8) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10 triple8) -> (rule5 % int3))) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
((triple10) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple10 triple8) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple5 ((triple9 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple9 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple5 ((triple9 ((triple5 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple5 ((triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple9) -> (rule6 % int4)) ((triple9 ((triple5 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple9) -> (rule6 % int4)) ((triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple9 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 triple6) -> (rule4 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple9 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9 ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple9 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((triple5 ((triple9 ((((triple9) -> (rule6 % int4)) triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple9) -> (rule6 % int4)) ((triple9 ((((triple9) -> (rule6 % int4)) triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 triple6) -> (rule4 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple9 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9 ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 ((triple5 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 ((triple9 triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 ((((triple9) -> (rule6 % int2)) triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple9 triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple9 ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple10) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10 triple8) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((triple9 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple9 ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10) -> (rule7 % int4)) ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int3)) ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 triple8) -> (rule5 % int4)) ((((triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int3)) ((((triple10 triple8) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((triple9 ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule7 % int4)) ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 triple8) -> (rule5 % int4)) ((((((triple10 triple8) -> (rule5 % int4))) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3