Bob is big. Bob is blue. Bob is round. Gary is cold. Gary is furry. Gary is kind. Harry is big. Harry is blue. Harry is round. Harry is smart. All smart people are big. If someone is big and smart then they are kind. Kind, blue people are furry. All big, furry people are cold. Smart people are big. All blue, kind people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is big and smart then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Kind, blue people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All big, furry people are cold.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
All blue, kind people are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Harry is kind.
True
3
proof
[(((triple7 triple10) -> rule2) OR ((((triple10) -> rule1) triple10) -> rule2) OR ((((triple10) -> rule5) triple10) -> rule2))]
("Harry" "is" "kind" "+")
((triple7 triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not kind.
False
3
inv-proof
[(((triple7 triple10) -> rule2) OR ((((triple10) -> rule1) triple10) -> rule2) OR ((((triple10) -> rule5) triple10) -> rule2))]
("Harry" "is" "kind" "-")
((triple7 triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
True
5
proof
[(((((triple7 triple10) -> rule2) triple8) -> rule3) OR ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3) OR ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3))]
("Harry" "is" "furry" "+")
((((triple7 triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int3)) triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not furry.
False
5
inv-proof
[(((((triple7 triple10) -> rule2) triple8) -> rule3) OR ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3) OR ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3))]
("Harry" "is" "furry" "-")
((((triple7 triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int3)) triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
True
7
proof
[(((triple7 ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((triple7 ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((triple7 ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4))]
("Harry" "is" "cold" "+")
((triple7 ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple10) -> (rule1 % int4)) ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not cold.
False
7
inv-proof
[(((triple7 ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((triple7 ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((triple7 ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4))]
("Harry" "is" "cold" "-")
((triple7 ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple10) -> (rule1 % int4)) ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Bob is not cold.
Unknown
inv-rconc
[@3: Bob is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is furry.
Unknown
rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "furry" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is round.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6)] Harry is big.[(triple7 OR ((triple10) -> rule1) OR ((triple10) -> rule5))] Harry is blue.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Harry is kind.[(((triple7 triple10) -> rule2) OR ((((triple10) -> rule1) triple10) -> rule2) OR ((((triple10) -> rule5) triple10) -> rule2))] @2: Harry is furry.[(((((triple7 triple10) -> rule2) triple8) -> rule3) OR ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3) OR ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3))] @3: Harry is cold.[(((triple7 ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((triple7 triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((triple7 ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((triple7 ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((((triple10) -> rule1) triple10) -> rule2) triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((((((triple10) -> rule5) triple10) -> rule2) triple8) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
((triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple10) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((triple7 triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int3)) triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple10) -> (rule1 % int4)) ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((((triple10) -> (rule1 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule5 % int4)) ((((((triple10) -> (rule5 % int4)) triple10) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4