Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Charlie is nice. Charlie is quiet. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. If something is kind and furry then it is nice. All nice things are smart. Quiet things are rough. All kind, rough things are nice. All nice, kind things are cold. If something is rough then it is furry. If something is cold and kind then it is nice. All furry things are kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is kind and furry then it is nice.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All kind, rough things are nice.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
All nice, kind things are cold.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is rough then it is furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is cold and kind then it is nice.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Bob is furry.
True
1
proof
[(triple2 OR ((triple5) -> rule6))]
("Bob" "is" "furry" "+")
triple2
((triple5) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Charlie is not quiet.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "quiet" "-")
triple8
Fiona is cold.
True
3
proof
[(((triple10 triple9) -> rule5) OR ((((triple9 triple11) -> rule4) triple9) -> rule5) OR ((triple10 ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((triple9 ((triple11) -> rule6)) -> rule1) triple9) -> rule5) OR ((((triple9 triple11) -> rule4) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) triple9) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1) triple9) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule8)) -> rule5))]
("Fiona" "is" "cold" "+")
((triple10 triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple9 triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((triple10 ((((triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple9 triple11) -> (rule4 % int4)) ((((triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule4 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Charlie is not rough.
False
2
inv-proof
[(((triple8) -> rule3))]
("Charlie" "is" "rough" "-")
((triple8) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple8) -> rule3)) -> rule6))]
("Charlie" "is" "furry" "+")
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not furry.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule6))]
("Charlie" "is" "furry" "-")
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
True
4
proof
[(((((((triple8) -> rule3)) -> rule6)) -> rule8))]
("Charlie" "is" "kind" "+")
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not kind.
False
4
inv-proof
[(((((((triple8) -> rule3)) -> rule6)) -> rule8))]
("Charlie" "is" "kind" "-")
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is cold.[(triple1 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple2) -> rule8)) -> rule5) OR ((((triple3 triple2) -> rule1) triple3) -> rule5) OR ((((triple3 triple5) -> rule4) triple3) -> rule5) OR ((((triple3 triple2) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((triple3 triple5) -> rule4) ((triple2) -> rule8)) -> rule5) OR ((triple4 ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((triple3 ((triple5) -> rule6)) -> rule1) triple3) -> rule5) OR ((((((triple2) -> rule8) triple2) -> rule1) triple3) -> rule5) OR ((((((triple2) -> rule8) triple5) -> rule4) triple3) -> rule5) OR ((((triple3 triple2) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((triple3 triple5) -> rule4) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((triple3 ((triple5) -> rule6)) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple2) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple5) -> rule4) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) triple3) -> rule5) OR ((((triple3 ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple2) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple5) -> rule4) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) triple3) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) triple3) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) ((triple2) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1) triple3) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5))] Bob is furry.[(triple2 OR ((triple5) -> rule6))] Bob is kind.[(triple3 OR ((triple2) -> rule8) OR ((((triple5) -> rule6)) -> rule8))] Bob is nice.[(triple4 OR ((triple1 triple3) -> rule7) OR ((triple3 triple2) -> rule1) OR ((triple3 triple5) -> rule4) OR ((triple1 ((triple2) -> rule8)) -> rule7) OR ((triple3 ((triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule8) triple2) -> rule1) OR ((((triple2) -> rule8) triple5) -> rule4) OR ((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) OR ((triple1 ((((triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) OR ((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1))] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple4) -> rule2) OR ((((triple1 triple3) -> rule7)) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule2) OR ((((triple3 triple5) -> rule4)) -> rule2) OR ((((triple1 ((triple2) -> rule8)) -> rule7)) -> rule2) OR ((((triple3 ((triple5) -> rule6)) -> rule1)) -> rule2) OR ((((((triple2) -> rule8) triple2) -> rule1)) -> rule2) OR ((((((triple2) -> rule8) triple5) -> rule4)) -> rule2) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1)) -> rule2) OR ((((triple1 ((((triple5) -> rule6)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1)) -> rule2))] Charlie is nice.[(triple7 OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple8) -> rule3)) -> rule6)) -> rule1))] Charlie is quiet.[(triple8)] Fiona is kind.[(triple9 OR ((((triple11) -> rule6)) -> rule8))] Fiona is nice.[(triple10 OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple11) -> rule6)) -> rule1) OR ((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) OR ((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1))] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple10) -> rule2) OR ((((triple9 triple11) -> rule4)) -> rule2) OR ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4)) -> rule2) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1)) -> rule2))] @1: Charlie is rough.[(((triple8) -> rule3))] Charlie is smart.[(((triple7) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule4)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple8) -> rule3)) -> rule6)) -> rule1)) -> rule2))] Fiona is cold.[(((triple10 triple9) -> rule5) OR ((((triple9 triple11) -> rule4) triple9) -> rule5) OR ((triple10 ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((triple9 ((triple11) -> rule6)) -> rule1) triple9) -> rule5) OR ((((triple9 triple11) -> rule4) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) triple9) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1) triple9) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule8)) -> rule5))] Fiona is furry.[(((triple11) -> rule6))] @2: Charlie is furry.[(((((triple8) -> rule3)) -> rule6))] @3: Charlie is kind.[(((((((triple8) -> rule3)) -> rule6)) -> rule8))] @4: Charlie is cold.[(((triple7 ((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule4) ((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple8) -> rule3)) -> rule6)) -> rule1) ((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple4 triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4 ((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3 triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 triple2) -> (rule1 % int3)) ((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple3 triple5) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple3 ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule8 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule8 % int3)) triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple2) -> (rule1 % int4)) ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple3 triple5) -> (rule4 % int4)) ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple3 ((triple5) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule8 % int3)) triple2) -> (rule1 % int2)) ((triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule8 % int3)) triple5) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple5) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule1 % int3)) ((((triple5) -> (rule6 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) triple5) -> (rule4 % int3)) ((((triple5) -> (rule6 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((triple2) -> (rule8 % int4))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple5) -> (rule6 % int3))) -> (rule8 % int4))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple2) -> (rule1 % int2)) ((triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int4))) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple2) -> (rule1 % int2)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int4))) -> (rule1 % int2)) ((triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int4))) -> (rule1 % int2)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple5) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple1 triple3) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple3 ((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2) -> (rule8 % int3)) ((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple1 ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule8 % int2)) ((triple5) -> (rule6 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple4) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1 triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1 ((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 ((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule8 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple1 ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple8) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
((((triple11) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
((triple9 triple11) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple9 ((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple11) -> (rule6 % int3))) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple11) -> (rule6 % int3))) -> (rule8 % int2)) ((triple11) -> (rule6 % int3))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((triple10) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9 triple11) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple8) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple8) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple10 triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple9 triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((triple10 ((((triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple9 triple11) -> (rule4 % int4)) ((((triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule4 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule8 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple11) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple7 ((((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple8) -> (rule3 % int5))) -> (rule4 % int2)) ((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int2)) ((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5