Bob is nice. Charlie is not quiet. Charlie is rough. Erin is kind. Erin is quiet. Gary is quiet. Gary is rough. If something is smart then it is rough. Smart, rough things are kind. All kind, white things are not furry. Quiet things are smart. All nice things are smart. Rough, kind things are white.
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is smart then it is rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Smart, rough things are kind.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All kind, white things are not furry.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "-"))
Quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Rough, kind things are white.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Gary is rough.
True
1
proof
[(triple7 OR ((((triple6) -> rule4)) -> rule1))]
("Gary" "is" "rough" "+")
triple7
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Bob is smart.
True
2
proof
[(((triple1) -> rule5))]
("Bob" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple5) -> rule4))]
("Erin" "is" "smart" "-")
((triple5) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is kind.
True
4
proof
[(((((triple6) -> rule4) triple7) -> rule2) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2))]
("Gary" "is" "kind" "+")
((((triple6) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Erin is not rough.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule1))]
("Erin" "is" "rough" "-")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Bob is kind.
True
6
proof
[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2))]
("Bob" "is" "kind" "+")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not kind.
False
6
inv-proof
[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2))]
("Bob" "is" "kind" "-")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is white.
True
10
proof
[(((((((triple1) -> rule5)) -> rule1) ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6))]
("Bob" "is" "white" "+")
((((((triple1) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule5 % int4)) ((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Erin is furry.
False
7
inv-proof
[(((triple4 ((((((triple5) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2) ((((((triple5) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((triple4 ((((((triple5) -> rule4)) -> rule1) ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2) ((((((triple5) -> rule4)) -> rule1) ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3))]
("Erin" "is" "furry" "+")
((triple4 ((((((triple5) -> (rule4 % int4))) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Bob is not furry.
True
17
proof
[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2) ((((((triple1) -> rule5)) -> rule1) ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3))]
("Bob" "is" "furry" "-")
((((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is furry.
False
17
inv-proof
[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2) ((((((triple1) -> rule5)) -> rule1) ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3))]
("Bob" "is" "furry" "+")
((((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Charlie is not white.
Unknown
inv-rconc
[@3: Charlie is white.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule4 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "smart" "+")
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Bob is nice.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is rough.[(triple3)] Erin is kind.[(triple4 OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2))] Erin is quiet.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7 OR ((((triple6) -> rule4)) -> rule1))] @1: Bob is smart.[(((triple1) -> rule5))] Erin is smart.[(((triple5) -> rule4))] Gary is smart.[(((triple6) -> rule4))] @2: Bob is rough.[(((((triple1) -> rule5)) -> rule1))] Erin is rough.[(((((triple5) -> rule4)) -> rule1))] Gary is kind.[(((((triple6) -> rule4) triple7) -> rule2) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2))] @3: Bob is kind.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2))] Erin is white.[(((((((triple5) -> rule4)) -> rule1) triple4) -> rule6) OR ((((((triple5) -> rule4)) -> rule1) ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2)) -> rule6))] Gary is white.[(((triple7 ((((triple6) -> rule4) triple7) -> rule2)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1) ((((triple6) -> rule4) triple7) -> rule2)) -> rule6) OR ((triple7 ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1) ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2)) -> rule6))] @4: Bob is white.[(((((((triple1) -> rule5)) -> rule1) ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6))] Erin is not furry.[(((triple4 ((((((triple5) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2) ((((((triple5) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((triple4 ((((((triple5) -> rule4)) -> rule1) ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2) ((((((triple5) -> rule4)) -> rule1) ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3))] Gary is not furry.[(((((((triple6) -> rule4) triple7) -> rule2) ((triple7 ((((triple6) -> rule4) triple7) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) triple7) -> rule2) ((((((triple6) -> rule4)) -> rule1) ((((triple6) -> rule4) triple7) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2) ((triple7 ((((triple6) -> rule4) triple7) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2) ((((((triple6) -> rule4)) -> rule1) ((((triple6) -> rule4) triple7) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) triple7) -> rule2) ((triple7 ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) triple7) -> rule2) ((((((triple6) -> rule4)) -> rule1) ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2) ((triple7 ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2) ((((((triple6) -> rule4)) -> rule1) ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule3))] @5: Bob is not furry.[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2) ((((((triple1) -> rule5)) -> rule1) ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple5) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple6) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple6) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
((triple7 ((((triple6) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple6) -> (rule4 % int4)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((triple7 ((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((((triple1) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule5 % int4)) ((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Erin is not furry.
("Erin" "is" "furry" "-")
((triple4 ((((((triple5) -> (rule4 % int4))) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Gary is not furry.
("Gary" "is" "furry" "-")
((((((triple6) -> (rule4 % int4)) triple7) -> (rule2 % int3)) ((triple7 ((((triple6) -> (rule4 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple6) -> (rule4 % int5)) triple7) -> (rule2 % int4)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int3)) ((((triple6) -> (rule4 % int5)) triple7) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7 ((((triple6) -> (rule4 % int5)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple6) -> (rule4 % int5)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int5)) triple7) -> (rule2 % int4)) ((triple7 ((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int5)) triple7) -> (rule2 % int4)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int3)) ((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7 ((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Bob is not furry.
("Bob" "is" "furry" "-")
((((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5