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