Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is white. Dave is young. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. Harry is kind. Harry is round. If something is white then it is kind. Quiet things are kind. Kind, furry things are rough. Round, rough things are furry. If Dave is young then Dave is kind. If something is round and kind then it is furry.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Kind, furry things are rough.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Round, rough things are furry.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If Dave is young then Dave is kind.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "kind" "+"))
If something is round and kind then it is furry.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Harry is round.
True
1
proof
[(triple15)]
("Harry" "is" "round" "+")
triple15
Fiona is not young.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "young" "-")
triple13
Fiona is rough.
True
3
proof
[(((triple9 triple8) -> rule3) OR ((triple9 ((triple11 triple9) -> rule6)) -> rule3) OR ((((triple10) -> rule2) triple8) -> rule3) OR ((((triple12) -> rule1) triple8) -> rule3) OR ((((triple10) -> rule2) ((triple11 triple9) -> rule6)) -> rule3) OR ((((triple12) -> rule1) ((triple11 triple9) -> rule6)) -> rule3) OR ((triple9 ((triple11 ((triple10) -> rule2)) -> rule6)) -> rule3) OR ((triple9 ((triple11 ((triple12) -> rule1)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple11 ((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple11 ((triple12) -> rule1)) -> rule6)) -> rule3) OR ((((triple12) -> rule1) ((triple11 ((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple12) -> rule1) ((triple11 ((triple12) -> rule1)) -> rule6)) -> rule3))]
("Fiona" "is" "rough" "+")
((triple9 triple8) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple9 ((triple11 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple12) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple11 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12) -> (rule1 % int3)) ((triple11 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple9 ((triple11 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple9 ((triple11 ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple10) -> (rule2 % int3)) ((triple11 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple10) -> (rule2 % int3)) ((triple11 ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12) -> (rule1 % int3)) ((triple11 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12) -> (rule1 % int3)) ((triple11 ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is not furry.
False
3
inv-proof
[(((triple15 triple14) -> rule6))]
("Harry" "is" "furry" "-")
((triple15 triple14) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
True
5
proof
[(((triple14 ((triple15 triple14) -> rule6)) -> rule3))]
("Harry" "is" "rough" "+")
((triple14 ((triple15 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((triple14 ((triple15 triple14) -> rule6)) -> rule3))]
("Harry" "is" "rough" "-")
((triple14 ((triple15 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Dave is furry.[(triple1 OR ((triple5 triple2) -> rule6) OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple3) -> rule2)) -> rule6) OR ((triple5 ((triple6) -> rule1)) -> rule6) OR ((triple5 ((triple7) -> rule5)) -> rule6))] Dave is kind.[(triple2 OR ((triple3) -> rule2) OR ((triple6) -> rule1) OR ((triple7) -> rule5))] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple5 triple2) -> rule6)) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule3) OR ((((triple6) -> rule1) triple1) -> rule3) OR ((((triple7) -> rule5) triple1) -> rule3) OR ((((triple3) -> rule2) ((triple5 triple2) -> rule6)) -> rule3) OR ((((triple6) -> rule1) ((triple5 triple2) -> rule6)) -> rule3) OR ((((triple7) -> rule5) ((triple5 triple2) -> rule6)) -> rule3) OR ((triple2 ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((triple2 ((triple5 ((triple6) -> rule1)) -> rule6)) -> rule3) OR ((triple2 ((triple5 ((triple7) -> rule5)) -> rule6)) -> rule3) OR ((((triple3) -> rule2) ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((triple3) -> rule2) ((triple5 ((triple6) -> rule1)) -> rule6)) -> rule3) OR ((((triple3) -> rule2) ((triple5 ((triple7) -> rule5)) -> rule6)) -> rule3) OR ((((triple6) -> rule1) ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((triple6) -> rule1) ((triple5 ((triple6) -> rule1)) -> rule6)) -> rule3) OR ((((triple6) -> rule1) ((triple5 ((triple7) -> rule5)) -> rule6)) -> rule3) OR ((((triple7) -> rule5) ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((triple7) -> rule5) ((triple5 ((triple6) -> rule1)) -> rule6)) -> rule3) OR ((((triple7) -> rule5) ((triple5 ((triple7) -> rule5)) -> rule6)) -> rule3))] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is furry.[(triple8 OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple10) -> rule2)) -> rule6) OR ((triple11 ((triple12) -> rule1)) -> rule6))] Fiona is kind.[(triple9 OR ((triple10) -> rule2) OR ((triple12) -> rule1))] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)] Fiona is young.[(triple13)] Harry is kind.[(triple14)] Harry is round.[(triple15)] @1: Fiona is rough.[(((triple9 triple8) -> rule3) OR ((triple9 ((triple11 triple9) -> rule6)) -> rule3) OR ((((triple10) -> rule2) triple8) -> rule3) OR ((((triple12) -> rule1) triple8) -> rule3) OR ((((triple10) -> rule2) ((triple11 triple9) -> rule6)) -> rule3) OR ((((triple12) -> rule1) ((triple11 triple9) -> rule6)) -> rule3) OR ((triple9 ((triple11 ((triple10) -> rule2)) -> rule6)) -> rule3) OR ((triple9 ((triple11 ((triple12) -> rule1)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple11 ((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple11 ((triple12) -> rule1)) -> rule6)) -> rule3) OR ((((triple12) -> rule1) ((triple11 ((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple12) -> rule1) ((triple11 ((triple12) -> rule1)) -> rule6)) -> rule3))] Harry is furry.[(((triple15 triple14) -> rule6))] @2: Harry is rough.[(((triple14 ((triple15 triple14) -> rule6)) -> rule3))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
((triple5 triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple5 triple4) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple5 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple5 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple5 ((triple7) -> (rule5 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple6) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple7) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((triple2 triple1) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple2 ((triple5 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple3) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple6) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple7) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple5 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple6) -> (rule1 % int3)) ((triple5 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple7) -> (rule5 % int3)) ((triple5 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple2 ((triple5 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple2 ((triple5 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple2 ((triple5 ((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple3) -> (rule2 % int3)) ((triple5 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple3) -> (rule2 % int3)) ((triple5 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple3) -> (rule2 % int3)) ((triple5 ((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple6) -> (rule1 % int3)) ((triple5 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple6) -> (rule1 % int3)) ((triple5 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple6) -> (rule1 % int3)) ((triple5 ((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple7) -> (rule5 % int3)) ((triple5 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple7) -> (rule5 % int3)) ((triple5 ((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple7) -> (rule5 % int3)) ((triple5 ((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((triple11 triple9) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple11 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple11 ((triple12) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
((triple10) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple12) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Fiona is young.
("Fiona" "is" "young" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple9 triple8) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple9 ((triple11 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple10) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple12) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple11 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12) -> (rule1 % int3)) ((triple11 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple9 ((triple11 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple9 ((triple11 ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple10) -> (rule2 % int3)) ((triple11 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple10) -> (rule2 % int3)) ((triple11 ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12) -> (rule1 % int3)) ((triple11 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12) -> (rule1 % int3)) ((triple11 ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((triple15 triple14) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple14 ((triple15 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2