Bob is blue. Bob is furry. Bob is red. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is rough. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is red. Harry is rough. All big things are quiet. Blue things are big. Quiet, furry things are red. If something is red then it is big. All rough things are furry. If something is blue and rough then it is furry. All rough things are blue. If something is cold then it is red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Quiet, furry things are red.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is blue and rough then it is furry.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Fiona is blue.
True
1
proof
[(triple4 OR ((triple8) -> rule7))]
("Fiona" "is" "blue" "+")
triple4
((triple8) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not red.
False
1
inv-proof
[(triple7 OR ((triple5) -> rule8) OR ((triple6 ((triple8) -> rule5)) -> rule3) OR ((triple6 ((triple4 triple8) -> rule6)) -> rule3) OR ((triple6 ((((triple8) -> rule7) triple8) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) ((triple8) -> rule5)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 triple8) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) ((((triple8) -> rule7) triple8) -> rule6)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule1) ((triple8) -> rule5)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule1) ((triple4 triple8) -> rule6)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule1) ((((triple8) -> rule7) triple8) -> rule6)) -> rule3))]
("Fiona" "is" "red" "-")
triple7
((triple5) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple6 ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple6 ((triple4 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple6 ((((triple8) -> (rule7 % int3)) triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple8) -> (rule7 % int3)) triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple8) -> (rule7 % int5)) triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is furry.
True
2
proof
[(((triple8) -> rule5) OR ((triple4 triple8) -> rule6) OR ((((triple8) -> rule7) triple8) -> rule6))]
("Fiona" "is" "furry" "+")
((triple8) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple4 triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple8) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not big.
False
2
inv-proof
[(((triple4) -> rule2) OR ((triple7) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((triple8) -> rule7)) -> rule2) OR ((((triple6 ((triple8) -> rule5)) -> rule3)) -> rule4) OR ((((triple6 ((triple4 triple8) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 ((((triple8) -> rule7) triple8) -> rule6)) -> rule3)) -> rule4))]
("Fiona" "is" "big" "-")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple7) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple6 ((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6 ((triple4 triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6 ((((triple8) -> (rule7 % int4)) triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Bob is quiet.
True
3
proof
[(((((triple1) -> rule2)) -> rule1) OR ((((triple3) -> rule4)) -> rule1))]
("Bob" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not quiet.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1) OR ((((triple3) -> rule4)) -> rule1))]
("Bob" "is" "quiet" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3 OR ((((((triple1) -> rule2)) -> rule1) triple2) -> rule3))] Fiona is blue.[(triple4 OR ((triple8) -> rule7))] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6 OR ((((triple4) -> rule2)) -> rule1) OR ((((triple7) -> rule4)) -> rule1) OR ((((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2)) -> rule1))] Fiona is red.[(triple7 OR ((triple5) -> rule8) OR ((triple6 ((triple8) -> rule5)) -> rule3) OR ((triple6 ((triple4 triple8) -> rule6)) -> rule3) OR ((triple6 ((((triple8) -> rule7) triple8) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) ((triple8) -> rule5)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) ((triple4 triple8) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) ((((triple8) -> rule7) triple8) -> rule6)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule1) ((triple8) -> rule5)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule1) ((triple4 triple8) -> rule6)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule1) ((((triple8) -> rule7) triple8) -> rule6)) -> rule3))] Fiona is rough.[(triple8)] Harry is big.[(triple9 OR ((triple10) -> rule2) OR ((triple14) -> rule4) OR ((((triple11) -> rule8)) -> rule4) OR ((((triple15) -> rule7)) -> rule2) OR ((((triple13 triple12) -> rule3)) -> rule4) OR ((((triple13 ((triple15) -> rule5)) -> rule3)) -> rule4) OR ((((triple13 ((triple10 triple15) -> rule6)) -> rule3)) -> rule4) OR ((((triple13 ((((triple15) -> rule7) triple15) -> rule6)) -> rule3)) -> rule4))] Harry is blue.[(triple10 OR ((triple15) -> rule7))] Harry is cold.[(triple11)] Harry is furry.[(triple12 OR ((triple15) -> rule5) OR ((triple10 triple15) -> rule6) OR ((((triple15) -> rule7) triple15) -> rule6))] Harry is quiet.[(triple13 OR ((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1) OR ((((triple14) -> rule4)) -> rule1) OR ((((((triple11) -> rule8)) -> rule4)) -> rule1) OR ((((((triple15) -> rule7)) -> rule2)) -> rule1))] Harry is red.[(triple14 OR ((triple11) -> rule8) OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple15) -> rule5)) -> rule3) OR ((triple13 ((triple10 triple15) -> rule6)) -> rule3) OR ((((triple9) -> rule1) triple12) -> rule3) OR ((((triple9) -> rule1) ((triple15) -> rule5)) -> rule3) OR ((((triple9) -> rule1) ((triple10 triple15) -> rule6)) -> rule3) OR ((triple13 ((((triple15) -> rule7) triple15) -> rule6)) -> rule3) OR ((((((triple10) -> rule2)) -> rule1) triple12) -> rule3) OR ((((triple9) -> rule1) ((((triple15) -> rule7) triple15) -> rule6)) -> rule3) OR ((((((triple10) -> rule2)) -> rule1) ((triple15) -> rule5)) -> rule3) OR ((((((triple10) -> rule2)) -> rule1) ((triple10 triple15) -> rule6)) -> rule3) OR ((((((triple10) -> rule2)) -> rule1) ((((triple15) -> rule7) triple15) -> rule6)) -> rule3) OR ((((((((triple15) -> rule7)) -> rule2)) -> rule1) triple12) -> rule3) OR ((((((((triple15) -> rule7)) -> rule2)) -> rule1) ((triple15) -> rule5)) -> rule3) OR ((((((((triple15) -> rule7)) -> rule2)) -> rule1) ((triple10 triple15) -> rule6)) -> rule3) OR ((((((((triple15) -> rule7)) -> rule2)) -> rule1) ((((triple15) -> rule7) triple15) -> rule6)) -> rule3))] Harry is rough.[(triple15)] @1: Bob is big.[(((triple1) -> rule2) OR ((triple3) -> rule4))] Fiona is big.[(((triple4) -> rule2) OR ((triple7) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((triple8) -> rule7)) -> rule2) OR ((((triple6 ((triple8) -> rule5)) -> rule3)) -> rule4) OR ((((triple6 ((triple4 triple8) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 ((((triple8) -> rule7) triple8) -> rule6)) -> rule3)) -> rule4))] Fiona is furry.[(((triple8) -> rule5) OR ((triple4 triple8) -> rule6) OR ((((triple8) -> rule7) triple8) -> rule6))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule1) OR ((((triple3) -> rule4)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple8) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((((triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple7
((triple5) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple6 ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple6 ((triple4 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple6 ((((triple8) -> (rule7 % int3)) triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple4) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple8) -> (rule7 % int3)) triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple8) -> (rule7 % int5)) triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple14) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple15) -> (rule7 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple13 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple13 ((triple15) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple13 ((triple10 triple15) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple13 ((((triple15) -> (rule7 % int4)) triple15) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple15) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((triple15) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple10 triple15) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple15) -> (rule7 % int2)) triple15) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple9) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple15) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple14
((triple11) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple13 triple12) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple13 ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple13 ((triple10 triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple9) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple10 triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple13 ((((triple15) -> (rule7 % int3)) triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple10) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple9) -> (rule1 % int4)) ((((triple15) -> (rule7 % int3)) triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple10) -> (rule2 % int4))) -> (rule1 % int3)) ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple10) -> (rule2 % int4))) -> (rule1 % int3)) ((triple10 triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple10) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple15) -> (rule7 % int3)) triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple10 triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple15) -> (rule7 % int5)) triple15) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple3) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple7) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple6 ((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6 ((triple4 triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6 ((((triple8) -> (rule7 % int4)) triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple4 triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple8) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2