Bob is kind. Bob is rough. Charlie is blue. Charlie is quiet. Charlie is not white. Dave is quiet. Harry is kind. All rough things are furry. If something is kind then it is rough. If Bob is kind and Bob is furry then Bob is rough. All rough, furry things are not blue. If Dave is not rough then Dave is furry. If something is kind and not blue then it is nice. If something is furry and nice then it is quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If Bob is kind and Bob is furry then Bob is rough.
((("Bob" "is" "kind" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "rough" "+"))
All rough, furry things are not blue.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "-"))
If Dave is not rough then Dave is furry.
((("Dave" "is" "rough" "~")) -> ("Dave" "is" "furry" "+"))
If something is kind and not blue then it is nice.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "is" "nice" "+"))
If something is furry and nice then it is quiet.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Harry is kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "+")
triple7
Dave is not quiet.
False
1
inv-proof
[(triple6)]
("Dave" "is" "quiet" "-")
triple6
Bob is furry.
True
2
proof
[(((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Harry is not rough.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "rough" "-")
((triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is not blue.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule4) OR ((((triple1) -> rule2) ((triple2) -> rule1)) -> rule4) OR ((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule4))]
("Bob" "is" "blue" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
False
4
inv-proof
[(((triple2 ((triple2) -> rule1)) -> rule4) OR ((((triple1) -> rule2) ((triple2) -> rule1)) -> rule4) OR ((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule4))]
("Bob" "is" "blue" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Harry is not blue.
True
6
proof
[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4))]
("Harry" "is" "blue" "-")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is blue.
False
6
inv-proof
[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4))]
("Harry" "is" "blue" "+")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
True
8
proof
[(((triple7 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4)) -> rule6))]
("Harry" "is" "nice" "+")
((triple7 ((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not nice.
False
8
inv-proof
[(((triple7 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4)) -> rule6))]
("Harry" "is" "nice" "-")
((triple7 ((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is quiet.
True
12
proof
[(((((((triple7) -> rule2)) -> rule1) ((triple7 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7))]
("Harry" "is" "quiet" "+")
((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) ((((triple7) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
("Harry" "is" "blue" "-")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is not quiet.
False
12
inv-proof
[(((((((triple7) -> rule2)) -> rule1) ((triple7 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7))]
("Harry" "is" "quiet" "-")
((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) ((((triple7) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
("Harry" "is" "blue" "-")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Dave is not furry.
Unknown
inv-rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is furry.
Unknown
rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "furry" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2 OR ((triple1) -> rule2))] Charlie is blue.[(triple3)] Charlie is not white.[(triple5)] Charlie is quiet.[(triple4)] Dave is quiet.[(triple6)] Harry is kind.[(triple7)] @1: Bob is furry.[(((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Harry is rough.[(((triple7) -> rule2))] @2: Bob is not blue.[(((triple2 ((triple2) -> rule1)) -> rule4) OR ((((triple1) -> rule2) ((triple2) -> rule1)) -> rule4) OR ((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule4))] Harry is furry.[(((((triple7) -> rule2)) -> rule1))] @3: Bob is nice.[(((triple1 ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule6) OR ((triple1 ((((triple1) -> rule2) ((triple2) -> rule1)) -> rule4)) -> rule6) OR ((triple1 ((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((triple1 ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule6))] Harry is not blue.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4))] @4: Bob is quiet.[(((((triple2) -> rule1) ((triple1 ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple1 ((((triple1) -> rule2) ((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((((triple1) -> rule2)) -> rule1) ((triple1 ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((((triple1) -> rule2)) -> rule1) ((triple1 ((((triple1) -> rule2) ((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple1 ((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((triple2) -> rule1) ((triple1 ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((((triple1) -> rule2)) -> rule1) ((triple1 ((triple2 ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((((triple1) -> rule2)) -> rule1) ((triple1 ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7))] Harry is nice.[(((triple7 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4)) -> rule6))] @5: Harry is quiet.[(((((((triple7) -> rule2)) -> rule1) ((triple7 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule7))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 ((triple2 ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple1 ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple1 ((triple2 ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple1 ((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Harry is not blue.
("Harry" "is" "blue" "-")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple2) -> (rule1 % int4)) ((triple1 ((triple2 ((triple2) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple2) -> (rule1 % int5)) ((triple1 ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple1 ((triple2 ((triple2) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple1 ((((triple1) -> (rule2 % int5)) ((triple2) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple2) -> (rule1 % int5)) ((triple1 ((triple2 ((((triple1) -> (rule2 % int4))) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple2) -> (rule1 % int5)) ((triple1 ((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple1 ((triple2 ((((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple1) -> (rule2 % int5))) -> (rule1 % int4)) ((triple1 ((((triple1) -> (rule2 % int5)) ((((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 ((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) ((((triple7) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
("Harry" "is" "blue" "-")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5