Bob is big. Bob is furry. Charlie is big. Charlie is quiet. Dave is quiet. Dave is white. Fiona is big. Big, white things are nice. If something is quiet and nice then it is green. All white, nice things are quiet. All nice things are big. Furry things are nice. All big things are kind. If something is nice then it is furry. If something is kind then it is white. If Dave is quiet then Dave is kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Big, white things are nice.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is quiet and nice then it is green.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All white, nice things are quiet.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it is furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If Dave is quiet then Dave is kind.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "kind" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Bob is not furry.
False
1
inv-proof
[(triple2 OR ((((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule7))]
("Bob" "is" "furry" "-")
triple2
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Dave is kind.
True
2
proof
[(((triple5) -> rule9))]
("Dave" "is" "kind" "+")
((triple5) -> (rule9 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple1) -> rule6) OR ((((((triple2) -> rule5)) -> rule4)) -> rule6))]
("Bob" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Fiona is white.
True
3
proof
[(((((triple7) -> rule6)) -> rule8))]
("Fiona" "is" "white" "+")
((((triple7) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Bob is not white.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8))]
("Bob" "is" "white" "-")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Charlie is nice.
True
5
proof
[(((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1))]
("Charlie" "is" "nice" "+")
((triple3 ((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Fiona is not nice.
False
5
inv-proof
[(((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1))]
("Fiona" "is" "nice" "-")
((triple7 ((((triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is quiet.
True
9
proof
[(((((((triple7) -> rule6)) -> rule8) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule3))]
("Fiona" "is" "quiet" "+")
((((((triple7) -> (rule6 % int4))) -> (rule8 % int3)) ((triple7 ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Charlie is not green.
False
7
inv-proof
[(((triple4 ((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple3) -> rule6)) -> rule8) ((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule2))]
("Charlie" "is" "green" "-")
((triple4 ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4)) ((triple3 ((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple3 ((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Fiona is green.
True
15
proof
[(((((((((triple7) -> rule6)) -> rule8) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule2))]
("Fiona" "is" "green" "+")
((((((((triple7) -> (rule6 % int5))) -> (rule8 % int4)) ((triple7 ((((triple7) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((((triple7) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not green.
False
15
inv-proof
[(((((((((triple7) -> rule6)) -> rule8) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule2))]
("Fiona" "is" "green" "-")
((((((((triple7) -> (rule6 % int5))) -> (rule8 % int4)) ((triple7 ((((triple7) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((((triple7) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Dave is not big.
Unknown
inv-rconc
[@4: Dave is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule7 <- rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is furry.
Unknown
rconc
[@4: Dave is furry.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- rule5 <- FAIL)]]
("Dave" "is" "furry" "+")
Dave is not nice.
Unknown
inv-rconc
[@4: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule5 <- rule7 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is green.
Unknown
rconc
[@5: Dave is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule4 <- rule5 <- rule7 <- FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is big.[(triple1 OR ((((triple2) -> rule5)) -> rule4))] Bob is furry.[(triple2 OR ((((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule7))] Charlie is big.[(triple3)] Charlie is quiet.[(triple4 OR ((((((triple3) -> rule6)) -> rule8) ((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule3))] Dave is quiet.[(triple5)] Dave is white.[(triple6 OR ((((triple5) -> rule9)) -> rule8))] Fiona is big.[(triple7)] @1: Bob is kind.[(((triple1) -> rule6) OR ((((((triple2) -> rule5)) -> rule4)) -> rule6))] Bob is nice.[(((triple2) -> rule5) OR ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1))] Charlie is kind.[(((triple3) -> rule6))] Dave is kind.[(((triple5) -> rule9))] Fiona is kind.[(((triple7) -> rule6))] @2: Bob is white.[(((((triple1) -> rule6)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8))] Charlie is white.[(((((triple3) -> rule6)) -> rule8))] Fiona is white.[(((((triple7) -> rule6)) -> rule8))] @3: Bob is quiet.[(((((((triple1) -> rule6)) -> rule8) ((triple2) -> rule5)) -> rule3) OR ((((((triple1) -> rule6)) -> rule8) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8) ((triple2) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule3))] Charlie is nice.[(((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1))] Fiona is nice.[(((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1))] @4: Bob is green.[(((((((((triple1) -> rule6)) -> rule8) ((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((((triple1) -> rule6)) -> rule8) ((triple2) -> rule5)) -> rule3) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule6)) -> rule8) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((((triple1) -> rule6)) -> rule8) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8) ((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8) ((triple2) -> rule5)) -> rule3) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((((((((((triple2) -> rule5)) -> rule4)) -> rule6)) -> rule8) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule2))] Charlie is furry.[(((((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule7))] Charlie is green.[(((triple4 ((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple3) -> rule6)) -> rule8) ((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple3 ((((triple3) -> rule6)) -> rule8)) -> rule1)) -> rule2))] Fiona is furry.[(((((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule7))] Fiona is quiet.[(((((((triple7) -> rule6)) -> rule8) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule3))] @5: Fiona is green.[(((((((((triple7) -> rule6)) -> rule8) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule3) ((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((((((triple3) -> (rule6 % int4))) -> (rule8 % int3)) ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((((triple5) -> (rule9 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple5) -> (rule9 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple7) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple1) -> (rule6 % int4))) -> (rule8 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule8 % int3)) ((triple1 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple2) -> (rule5 % int5))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple1 ((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int5))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 ((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 ((((triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((((((triple1) -> (rule6 % int5))) -> (rule8 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple1) -> (rule6 % int5))) -> (rule8 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple1) -> (rule6 % int5))) -> (rule8 % int4)) ((triple1 ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple1) -> (rule6 % int5))) -> (rule8 % int4)) ((triple1 ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1 ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((((((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple2) -> (rule5 % int6))) -> (rule3 % int2)) ((triple2) -> (rule5 % int6))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((((((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple2) -> (rule5 % int6))) -> (rule3 % int2)) ((triple1 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((((((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple1 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule3 % int2)) ((triple2) -> (rule5 % int6))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((((((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple1 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule3 % int2)) ((triple1 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple3 ((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4)) ((triple3 ((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple3 ((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple7 ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple7) -> (rule6 % int4))) -> (rule8 % int3)) ((triple7 ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((((triple7) -> (rule6 % int5))) -> (rule8 % int4)) ((triple7 ((((triple7) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7 ((((triple7) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5