Charlie is kind. Dave is big. Dave is smart. Fiona is quiet. Fiona is rough. Gary is big. Gary is furry. Furry things are cold. If something is big then it is cold. All kind things are quiet. If something is furry and cold then it is kind. If Dave is not big then Dave is not kind. If something is cold and big then it is furry. If Gary is rough and Gary is big then Gary is furry. Quiet things are rough.
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is big then it is cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
All kind things are quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If something is furry and cold then it is kind.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If Dave is not big then Dave is not kind.
((("Dave" "is" "big" "~")) -> ("Dave" "is" "kind" "-"))
If something is cold and big then it is furry.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If Gary is rough and Gary is big then Gary is furry.
((("Gary" "is" "rough" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "furry" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Gary is furry.
True
1
proof
[(triple7 OR ((((triple6) -> rule2) triple6) -> rule6))]
("Gary" "is" "furry" "+")
triple7
((((triple6) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not furry.
False
1
inv-proof
[(triple7 OR ((((triple6) -> rule2) triple6) -> rule6))]
("Gary" "is" "furry" "-")
triple7
((((triple6) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Dave is cold.
True
2
proof
[(((triple2) -> rule2))]
("Dave" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple1) -> rule3))]
("Charlie" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Gary is kind.
True
4
proof
[(((triple7 ((triple6) -> rule2)) -> rule4) OR ((triple7 ((triple7) -> rule1)) -> rule4) OR ((((((triple6) -> rule2) triple6) -> rule6) ((triple6) -> rule2)) -> rule4) OR ((((((triple6) -> rule2) triple6) -> rule6) ((triple7) -> rule1)) -> rule4))]
("Gary" "is" "kind" "+")
((triple7 ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple7 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple6) -> (rule2 % int3)) triple6) -> (rule6 % int2)) ((triple6) -> (rule2 % int3))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple6) -> (rule2 % int3)) triple6) -> (rule6 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is not furry.
False
4
inv-proof
[(((((triple2) -> rule2) triple2) -> rule6))]
("Dave" "is" "furry" "-")
((((triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Gary is quiet.
True
5
proof
[(((((triple7 ((triple6) -> rule2)) -> rule4)) -> rule3) OR ((((triple7 ((triple7) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple6) -> rule2) triple6) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple6) -> rule2) triple6) -> rule6) ((triple7) -> rule1)) -> rule4)) -> rule3))]
("Gary" "is" "quiet" "+")
((((triple7 ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((triple6) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Dave is not kind.
False
7
inv-proof
[(((((((triple2) -> rule2) triple2) -> rule6) ((triple2) -> rule2)) -> rule4))]
("Dave" "is" "kind" "-")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
True
8
proof
[(((((((((triple2) -> rule2) triple2) -> rule6) ((triple2) -> rule2)) -> rule4)) -> rule3))]
("Dave" "is" "quiet" "+")
((((((((triple2) -> (rule2 % int4)) triple2) -> (rule6 % int3)) ((triple2) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Gary is not rough.
False
6
inv-proof
[(((((((triple7 ((triple6) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple7 ((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple6) -> rule2) triple6) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple6) -> rule2) triple6) -> rule6) ((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule8))]
("Gary" "is" "rough" "-")
((((((triple7 ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((triple6) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Dave is rough.
True
9
proof
[(((((((((((triple2) -> rule2) triple2) -> rule6) ((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule8))]
("Dave" "is" "rough" "+")
((((((((((triple2) -> (rule2 % int5)) triple2) -> (rule6 % int4)) ((triple2) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is not rough.
False
9
inv-proof
[(((((((((((triple2) -> rule2) triple2) -> rule6) ((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule8))]
("Dave" "is" "rough" "-")
((((((((((triple2) -> (rule2 % int5)) triple2) -> (rule6 % int4)) ((triple2) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is cold.
Unknown
rconc
[@2: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "cold" "+")
Fiona is not kind.
Unknown
inv-rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is kind.[(triple1)] Dave is big.[(triple2)] Dave is smart.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5 OR ((triple4) -> rule8))] Gary is big.[(triple6)] Gary is furry.[(triple7 OR ((((triple6) -> rule2) triple6) -> rule6))] @1: Charlie is quiet.[(((triple1) -> rule3))] Dave is cold.[(((triple2) -> rule2))] Gary is cold.[(((triple6) -> rule2) OR ((triple7) -> rule1))] @2: Charlie is rough.[(((((triple1) -> rule3)) -> rule8))] Dave is furry.[(((((triple2) -> rule2) triple2) -> rule6))] Gary is kind.[(((triple7 ((triple6) -> rule2)) -> rule4) OR ((triple7 ((triple7) -> rule1)) -> rule4) OR ((((((triple6) -> rule2) triple6) -> rule6) ((triple6) -> rule2)) -> rule4) OR ((((((triple6) -> rule2) triple6) -> rule6) ((triple7) -> rule1)) -> rule4))] @3: Dave is kind.[(((((((triple2) -> rule2) triple2) -> rule6) ((triple2) -> rule2)) -> rule4))] Gary is quiet.[(((((triple7 ((triple6) -> rule2)) -> rule4)) -> rule3) OR ((((triple7 ((triple7) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple6) -> rule2) triple6) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple6) -> rule2) triple6) -> rule6) ((triple7) -> rule1)) -> rule4)) -> rule3))] @4: Dave is quiet.[(((((((((triple2) -> rule2) triple2) -> rule6) ((triple2) -> rule2)) -> rule4)) -> rule3))] Gary is rough.[(((((((triple7 ((triple6) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple7 ((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple6) -> rule2) triple6) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple6) -> rule2) triple6) -> rule6) ((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule8))] @5: Dave is rough.[(((((((((((triple2) -> rule2) triple2) -> rule6) ((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule8))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple4) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((((triple6) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple7 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple6) -> (rule2 % int3)) triple6) -> (rule6 % int2)) ((triple6) -> (rule2 % int3))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple6) -> (rule2 % int3)) triple6) -> (rule6 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple7 ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((triple6) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule6 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((((((((triple2) -> (rule2 % int4)) triple2) -> (rule6 % int3)) ((triple2) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple7 ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((triple6) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule6 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
((((((((((triple2) -> (rule2 % int5)) triple2) -> (rule6 % int4)) ((triple2) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5