Anne is red. Charlie is blue. Charlie is red. Erin is big. Erin is cold. Erin is white. Harry is big. Harry is blue. Harry is cold. Harry is white. If something is blue then it is rough. All white, blue things are red. If something is cold and big then it is white. If Anne is blue then Anne is red. Rough things are big. If something is red and big then it is quiet. If Erin is blue then Erin is not cold. If something is quiet and red then it is cold.
Anne is red.
("Anne" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
All white, blue things are red.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is cold and big then it is white.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If Anne is blue then Anne is red.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "red" "+"))
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is red and big then it is quiet.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If Erin is blue then Erin is not cold.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "cold" "-"))
If something is quiet and red then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Harry is white.
True
1
proof
[(triple10 OR ((triple9 triple7) -> rule3) OR ((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3))]
("Harry" "is" "white" "+")
triple10
((triple9 triple7) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple9 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not cold.
False
1
inv-proof
[(triple9 OR ((((((triple10 triple8) -> rule2) triple7) -> rule6) ((triple10 triple8) -> rule2)) -> rule8) OR ((((((triple10 triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6) ((triple10 triple8) -> rule2)) -> rule8))]
("Harry" "is" "cold" "-")
triple9
((((((triple10 triple8) -> (rule2 % int3)) triple7) -> (rule6 % int2)) ((triple10 triple8) -> (rule2 % int3))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10 triple8) -> (rule2 % int5)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) ((triple10 triple8) -> (rule2 % int5))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is rough.
True
2
proof
[(((triple8) -> rule1))]
("Harry" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple10 triple8) -> rule2) OR ((((triple9 triple7) -> rule3) triple8) -> rule2) OR ((((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule2))]
("Harry" "is" "red" "-")
((triple10 triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple7) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple9 ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is quiet.
True
5
proof
[(((((triple10 triple8) -> rule2) triple7) -> rule6) OR ((((((triple9 triple7) -> rule3) triple8) -> rule2) triple7) -> rule6) OR ((((triple10 triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9 triple7) -> rule3) triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule2) triple7) -> rule6) OR ((((((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6))]
("Harry" "is" "quiet" "+")
((((triple10 triple8) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple9 triple7) -> (rule3 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple10 triple8) -> (rule2 % int4)) ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple9 triple7) -> (rule3 % int5)) triple8) -> (rule2 % int4)) ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple9 ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9 ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple8) -> (rule2 % int2)) ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Charlie is not big.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule5))]
("Charlie" "is" "big" "-")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
True
5
proof
[(((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6))]
("Charlie" "is" "quiet" "+")
((triple3 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not quiet.
False
5
inv-proof
[(((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6))]
("Charlie" "is" "quiet" "-")
((triple3 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
True
7
proof
[(((((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule8))]
("Charlie" "is" "cold" "+")
((((triple3 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not cold.
False
7
inv-proof
[(((((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule8))]
("Charlie" "is" "cold" "-")
((((triple3 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is white.
True
11
proof
[(((((((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule8) ((((triple2) -> rule1)) -> rule5)) -> rule3))]
("Charlie" "is" "white" "+")
((((((triple3 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is not white.
False
11
inv-proof
[(((((((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule8) ((((triple2) -> rule1)) -> rule5)) -> rule3))]
("Charlie" "is" "white" "-")
((((((triple3 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "-")
Anne is big.
Unknown
rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Anne" "is" "big" "+")
Anne is not cold.
Unknown
inv-rconc
[@4: Anne is cold.[CWA. Example of deepest failure = (rule8 <- rule6 <- rule5 <- rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Erin is quiet.
Unknown
rconc
[@2: Erin is quiet.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Erin" "is" "quiet" "+")
Anne is not quiet.
Unknown
inv-rconc
[@3: Anne is quiet.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "red" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Charlie is red.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is white.[(triple6 OR ((triple5 triple4) -> rule3))] Harry is big.[(triple7 OR ((((triple8) -> rule1)) -> rule5))] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((((((triple10 triple8) -> rule2) triple7) -> rule6) ((triple10 triple8) -> rule2)) -> rule8) OR ((((((triple10 triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6) ((triple10 triple8) -> rule2)) -> rule8))] Harry is white.[(triple10 OR ((triple9 triple7) -> rule3) OR ((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3))] @1: Charlie is rough.[(((triple2) -> rule1))] Harry is red.[(((triple10 triple8) -> rule2) OR ((((triple9 triple7) -> rule3) triple8) -> rule2) OR ((((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule2))] Harry is rough.[(((triple8) -> rule1))] @2: Charlie is big.[(((((triple2) -> rule1)) -> rule5))] Harry is quiet.[(((((triple10 triple8) -> rule2) triple7) -> rule6) OR ((((((triple9 triple7) -> rule3) triple8) -> rule2) triple7) -> rule6) OR ((((triple10 triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9 triple7) -> rule3) triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule2) triple7) -> rule6) OR ((((((triple9 ((((triple8) -> rule1)) -> rule5)) -> rule3) triple8) -> rule2) ((((triple8) -> rule1)) -> rule5)) -> rule6))] @3: Charlie is quiet.[(((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6))] @4: Charlie is cold.[(((((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule8))] @5: Charlie is white.[(((((((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule8) ((((triple2) -> rule1)) -> rule5)) -> rule3))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple5 triple4) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple7
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((((((triple10 triple8) -> (rule2 % int3)) triple7) -> (rule6 % int2)) ((triple10 triple8) -> (rule2 % int3))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10 triple8) -> (rule2 % int5)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) ((triple10 triple8) -> (rule2 % int5))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple9 triple7) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple9 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10 triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple7) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple9 ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple10 triple8) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple9 triple7) -> (rule3 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple10 triple8) -> (rule2 % int4)) ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple9 triple7) -> (rule3 % int5)) triple8) -> (rule2 % int4)) ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple9 ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9 ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple8) -> (rule2 % int2)) ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple3 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple3 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5