Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is smart. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is smart. All furry, nice people are quiet. If someone is quiet then they are cold. Cold people are big. If Dave is furry then Dave is quiet. All green people are quiet. If someone is furry and big then they are quiet. If someone is furry and cold then they are nice. All big people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All furry, nice people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If Dave is furry then Dave is quiet.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "quiet" "+"))
All green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry and big then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry and cold then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple10 OR ((triple7) -> rule8) OR ((triple8 ((triple11) -> rule2)) -> rule7) OR ((((((triple11) -> rule2)) -> rule3)) -> rule8) OR ((triple8 ((((triple8) -> rule4)) -> rule2)) -> rule7) OR ((triple8 ((((triple9) -> rule5)) -> rule2)) -> rule7) OR ((triple8 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple9) -> rule5)) -> rule2)) -> rule3)) -> rule8))]
("Dave" "is" "nice" "+")
triple10
((triple7) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple8 ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((triple8 ((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple8 ((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple8 ((((triple8 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple8) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Anne is not nice.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule8))]
("Anne" "is" "nice" "-")
triple4
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Fiona is quiet.
True
2
proof
[(((triple14) -> rule5) OR ((triple13 triple15) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple14) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple13 triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple14) -> rule5) OR ((triple13 triple15) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple14) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple13 triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple14) -> rule5)) -> rule2) OR ((((triple13 triple15) -> rule1)) -> rule2))]
("Fiona" "is" "cold" "+")
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple13 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((((triple14) -> rule5)) -> rule2) OR ((((triple13 triple15) -> rule1)) -> rule2))]
("Fiona" "is" "cold" "-")
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple13 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
True
4
proof
[(((((((triple14) -> rule5)) -> rule2)) -> rule3) OR ((((((triple13 triple15) -> rule1)) -> rule2)) -> rule3))]
("Fiona" "is" "big" "+")
((((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple13 triple15) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not big.
False
4
inv-proof
[(((((((triple14) -> rule5)) -> rule2)) -> rule3) OR ((((((triple13 triple15) -> rule1)) -> rule2)) -> rule3))]
("Fiona" "is" "big" "-")
((((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple13 triple15) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
@0: Anne is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple5) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule2)) -> rule3))] Anne is cold.[(triple2 OR ((triple5) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule8))] Anne is quiet.[(triple5 OR ((triple3) -> rule5))] Anne is smart.[(triple6)] Dave is big.[(triple7 OR ((((triple11) -> rule2)) -> rule3) OR ((((((triple8) -> rule4)) -> rule2)) -> rule3) OR ((((((triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8 triple10) -> rule1)) -> rule2)) -> rule3))] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10 OR ((triple7) -> rule8) OR ((triple8 ((triple11) -> rule2)) -> rule7) OR ((((((triple11) -> rule2)) -> rule3)) -> rule8) OR ((triple8 ((((triple8) -> rule4)) -> rule2)) -> rule7) OR ((triple8 ((((triple9) -> rule5)) -> rule2)) -> rule7) OR ((triple8 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple9) -> rule5)) -> rule2)) -> rule3)) -> rule8))] Dave is quiet.[(triple11 OR ((triple8) -> rule4) OR ((triple9) -> rule5) OR ((triple8 triple10) -> rule1) OR ((triple8 triple7) -> rule6) OR ((triple8 ((triple7) -> rule8)) -> rule1))] Dave is smart.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is nice.[(triple15 OR ((triple13 ((((triple14) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple14) -> rule5)) -> rule2)) -> rule3)) -> rule8))] Fiona is smart.[(triple16)] @1: Dave is cold.[(((triple11) -> rule2) OR ((((triple8) -> rule4)) -> rule2) OR ((((triple9) -> rule5)) -> rule2) OR ((((triple8 triple10) -> rule1)) -> rule2) OR ((((triple8 triple7) -> rule6)) -> rule2) OR ((((triple8 ((triple7) -> rule8)) -> rule1)) -> rule2))] Fiona is quiet.[(((triple14) -> rule5) OR ((triple13 triple15) -> rule1))] @2: Fiona is cold.[(((((triple14) -> rule5)) -> rule2) OR ((((triple13 triple15) -> rule1)) -> rule2))] @3: Fiona is big.[(((((((triple14) -> rule5)) -> rule2)) -> rule3) OR ((((((triple13 triple15) -> rule1)) -> rule2)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
((triple3) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple8 triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
((triple7) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple8 ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((triple8 ((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple8 ((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple8 ((((triple8 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple8) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
((triple8) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple9) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple8 triple10) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple8 triple7) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple8 ((triple7) -> (rule8 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is nice.
("Fiona" "is" "nice" "+")
triple15
((triple13 ((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((((triple14) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Dave is cold.
("Dave" "is" "cold" "+")
((triple11) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple8 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple8 ((triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple14) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple13 triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple13 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple13 triple15) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3