Dave is kind. Dave is red. Dave is smart. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is young. Fiona is smart. Fiona is young. Gary is kind. Gary is quiet. Gary is red. Gary is round. Kind people are quiet. All young, kind people are nice. Quiet, smart people are nice. If someone is red and round then they are nice. If someone is kind and nice then they are round. If someone is nice then they are young. All young, smart people are kind. If someone is red and quiet then they are kind.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All young, kind people are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Quiet, smart people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All young, smart people are kind.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and quiet then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Dave is kind.
True
1
proof
[(triple1)]
("Dave" "is" "kind" "+")
triple1
Gary is not quiet.
False
1
inv-proof
[(triple13 OR ((triple12) -> rule1))]
("Gary" "is" "quiet" "-")
triple13
((triple12) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Dave is kind.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Erin is kind.[(triple4 OR ((triple6 triple5) -> rule8) OR ((triple9 triple8) -> rule7) OR ((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) OR ((((((triple6 triple7) -> rule4)) -> rule6) triple8) -> rule7))] Erin is quiet.[(triple5 OR ((triple4) -> rule1) OR ((((triple9 triple8) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule4)) -> rule6) triple8) -> rule7)) -> rule1))] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple4 ((triple5 triple8) -> rule3)) -> rule5) OR ((triple4 ((triple9 triple4) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple9 triple4) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple9 triple4) -> rule2)) -> rule5) OR ((triple4 ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((triple4 ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((triple4 ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule8) ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule8) ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule7) ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule7) ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((triple4 ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple6 triple5) -> rule8) ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple9 triple8) -> rule7) ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple9 triple4) -> rule2)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple9 ((triple6 triple5) -> rule8)) -> rule2)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((triple9 ((triple9 triple8) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((((triple4) -> rule1) triple8) -> rule3)) -> rule5) OR ((((((((triple5 triple8) -> rule3)) -> rule6) triple8) -> rule7) ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3)) -> rule5))] Erin is smart.[(triple8)] Erin is young.[(triple9 OR ((((triple5 triple8) -> rule3)) -> rule6) OR ((((triple6 triple7) -> rule4)) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule3)) -> rule6))] Fiona is smart.[(triple10)] Fiona is young.[(triple11)] Gary is kind.[(triple12 OR ((triple14 triple13) -> rule8))] Gary is quiet.[(triple13 OR ((triple12) -> rule1))] Gary is red.[(triple14)] Gary is round.[(triple15)] @1: Dave is quiet.[(((triple1) -> rule1))] Erin is nice.[(((triple5 triple8) -> rule3) OR ((triple6 triple7) -> rule4) OR ((triple9 triple4) -> rule2) OR ((triple9 ((triple6 triple5) -> rule8)) -> rule2) OR ((triple9 ((triple9 triple8) -> rule7)) -> rule2) OR ((((triple4) -> rule1) triple8) -> rule3) OR ((((((triple9 triple8) -> rule7)) -> rule1) triple8) -> rule3))] Fiona is kind.[(((triple11 triple10) -> rule7))] Gary is nice.[(((triple14 triple15) -> rule4))] @2: Dave is nice.[(((((triple1) -> rule1) triple3) -> rule3))] Fiona is nice.[(((triple11 ((triple11 triple10) -> rule7)) -> rule2) OR ((((((triple11 triple10) -> rule7)) -> rule1) triple10) -> rule3))] Fiona is quiet.[(((((triple11 triple10) -> rule7)) -> rule1))] Gary is young.[(((((triple14 triple15) -> rule4)) -> rule6))] @3: Dave is round.[(((triple1 ((((triple1) -> rule1) triple3) -> rule3)) -> rule5))] Dave is young.[(((((((triple1) -> rule1) triple3) -> rule3)) -> rule6))] Fiona is round.[(((((triple11 triple10) -> rule7) ((triple11 ((triple11 triple10) -> rule7)) -> rule2)) -> rule5) OR ((((triple11 triple10) -> rule7) ((((((triple11 triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule5))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((triple6 triple5) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple9 triple8) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((((triple5 triple8) -> (rule3 % int3))) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple6 triple7) -> (rule4 % int3))) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
((triple4) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple9 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((((((triple6 triple7) -> (rule4 % int4))) -> (rule6 % int3)) triple8) -> (rule7 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
((triple4 ((triple5 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple4 ((triple9 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple6 triple5) -> (rule8 % int3)) ((triple5 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple6 triple5) -> (rule8 % int3)) ((triple9 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple9 triple8) -> (rule7 % int3)) ((triple5 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple9 triple8) -> (rule7 % int3)) ((triple9 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple4 ((triple9 ((triple6 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple4 ((triple9 ((triple9 triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple6 triple5) -> (rule8 % int3)) ((triple9 ((triple6 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple6 triple5) -> (rule8 % int3)) ((triple9 ((triple9 triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple6 triple5) -> (rule8 % int4)) ((((triple4) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple9 triple8) -> (rule7 % int3)) ((triple9 ((triple6 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple9 triple8) -> (rule7 % int3)) ((triple9 ((triple9 triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple9 triple8) -> (rule7 % int4)) ((((triple4) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple4 ((((((triple9 triple8) -> (rule7 % int4))) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple6 triple5) -> (rule8 % int4)) ((((((triple9 triple8) -> (rule7 % int4))) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple9 triple8) -> (rule7 % int4)) ((((((triple9 triple8) -> (rule7 % int4))) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((((triple5 triple8) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule7 % int2)) ((triple5 triple8) -> (rule3 % int4))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5 triple8) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule7 % int2)) ((triple9 triple4) -> (rule2 % int4))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5 triple8) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule7 % int2)) ((triple9 ((triple6 triple5) -> (rule8 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5 triple8) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule7 % int2)) ((triple9 ((triple9 triple8) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5 triple8) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule7 % int3)) ((((triple4) -> (rule1 % int2)) triple8) -> (rule3 % int5))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple5 triple8) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule7 % int3)) ((((((triple9 triple8) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule3 % int5))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
((((triple5 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple6 triple7) -> (rule4 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple4) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
((triple14 triple13) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
((triple12) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple5 triple8) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple6 triple7) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 triple4) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 ((triple6 triple5) -> (rule8 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple9 ((triple9 triple8) -> (rule7 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple4) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple9 triple8) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple11 triple10) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple14 triple15) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple11 ((triple11 triple10) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple11 triple10) -> (rule7 % int3))) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple11 triple10) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple14 triple15) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple1 ((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((triple11 triple10) -> (rule7 % int3)) ((triple11 ((triple11 triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple11 triple10) -> (rule7 % int4)) ((((((triple11 triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4