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