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