Anne is nice. Bob is not kind. Bob is not young. Dave is kind. Dave is young. Harry is not kind. Harry is not nice. All kind, young things are nice. All smart, nice things are not big. If Anne is smart then Anne is not young. Smart things are kind. Nice things are smart. If something is nice then it is smart. If Anne is nice and Anne is not young then Anne is white. If something is nice and not big then it is white. White, nice things are round.
Anne is nice.
("Anne" "is" "nice" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not young.
("Bob" "is" "young" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not nice.
("Harry" "is" "nice" "-")
All kind, young things are nice.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
All smart, nice things are not big.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "-"))
If Anne is smart then Anne is not young.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "young" "-"))
Smart things are kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If Anne is nice and Anne is not young then Anne is white.
((("Anne" "is" "nice" "+") ("Anne" "is" "young" "~")) -> ("Anne" "is" "white" "+"))
If something is nice and not big then it is white.
((("something" "is" "nice" "+") ("something" "is" "big" "~")) -> ("something" "is" "white" "+"))
White, nice things are round.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Harry is not nice.
True
1
proof
[(triple7)]
("Harry" "is" "nice" "-")
triple7
Bob is kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Anne is smart.
True
2
proof
[(((triple1) -> rule5) OR ((triple1) -> rule6))]
("Anne" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Dave" "is" "nice" "-")
((triple4 triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Anne is kind.
True
3
proof
[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule6)) -> rule4))]
("Anne" "is" "kind" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
False
4
inv-proof
[(((((triple1) -> rule5) triple1) -> rule2) OR ((((triple1) -> rule6) triple1) -> rule2))]
("Anne" "is" "big" "+")
((((triple1) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Dave is not big.
True
8
proof
[(((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2) OR ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2))]
("Dave" "is" "big" "-")
((((((triple4 triple5) -> (rule1 % int3))) -> (rule5 % int2)) ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple4 triple5) -> (rule1 % int3))) -> (rule6 % int2)) ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
False
8
inv-proof
[(((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2) OR ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2))]
("Dave" "is" "big" "+")
((((((triple4 triple5) -> (rule1 % int3))) -> (rule5 % int2)) ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple4 triple5) -> (rule1 % int3))) -> (rule6 % int2)) ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is white.
True
12
proof
[(((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8))]
("Dave" "is" "white" "+")
((((triple4 triple5) -> (rule1 % int4)) ((((((triple4 triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((triple4 triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not big.
("Dave" "is" "big" "-")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((((triple4 triple5) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4 triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not big.
("Dave" "is" "big" "-")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not white.
False
12
inv-proof
[(((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8))]
("Dave" "is" "white" "-")
((((triple4 triple5) -> (rule1 % int4)) ((((((triple4 triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((triple4 triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not big.
("Dave" "is" "big" "-")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((((triple4 triple5) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4 triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not big.
("Dave" "is" "big" "-")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
True
16
proof
[(((((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) ((triple4 triple5) -> rule1)) -> rule9) OR ((((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) ((triple4 triple5) -> rule1)) -> rule9))]
("Dave" "is" "round" "+")
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple4 triple5) -> (rule1 % int5))) -> (rule5 % int4)) ((triple4 triple5) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple5) -> (rule1 % int5))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not big.
("Dave" "is" "big" "-")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple4 triple5) -> (rule1 % int5))) -> (rule6 % int4)) ((triple4 triple5) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple5) -> (rule1 % int5))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not big.
("Dave" "is" "big" "-")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is not round.
False
16
inv-proof
[(((((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) ((triple4 triple5) -> rule1)) -> rule9) OR ((((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) ((triple4 triple5) -> rule1)) -> rule9))]
("Dave" "is" "round" "-")
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple4 triple5) -> (rule1 % int5))) -> (rule5 % int4)) ((triple4 triple5) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple5) -> (rule1 % int5))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not big.
("Dave" "is" "big" "-")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple4 triple5) -> (rule1 % int5))) -> (rule6 % int4)) ((triple4 triple5) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple5) -> (rule1 % int5))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not big.
("Dave" "is" "big" "-")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule9 <- rule8 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not smart.
Unknown
inv-rconc
[@2: Bob is smart.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "white" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "white" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is nice.[(triple1)] Bob is not kind.[(triple2)] Bob is not young.[(triple3)] Dave is kind.[(triple4)] Dave is young.[(triple5)] Harry is not kind.[(triple6)] Harry is not nice.[(triple7)] @1: Anne is smart.[(((triple1) -> rule5) OR ((triple1) -> rule6))] Dave is nice.[(((triple4 triple5) -> rule1))] @2: Anne is kind.[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule6)) -> rule4))] Anne is not big.[(((((triple1) -> rule5) triple1) -> rule2) OR ((((triple1) -> rule6) triple1) -> rule2))] Anne is not young.[(((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule6)) -> rule3))] Dave is smart.[(((((triple4 triple5) -> rule1)) -> rule5) OR ((((triple4 triple5) -> rule1)) -> rule6))] @3: Anne is white.[(((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule7) OR ((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule7) OR ((triple1 ((((triple1) -> rule5) triple1) -> rule2)) -> rule8) OR ((triple1 ((((triple1) -> rule6) triple1) -> rule2)) -> rule8))] Dave is not big.[(((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2) OR ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2))] @4: Anne is round.[(((((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule7) triple1) -> rule9) OR ((((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule7) triple1) -> rule9) OR ((((triple1 ((((triple1) -> rule5) triple1) -> rule2)) -> rule8) triple1) -> rule9) OR ((((triple1 ((((triple1) -> rule6) triple1) -> rule2)) -> rule8) triple1) -> rule9))] Dave is white.[(((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8))] @5: Dave is round.[(((((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule5) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) ((triple4 triple5) -> rule1)) -> rule9) OR ((((((triple4 triple5) -> rule1) ((((((triple4 triple5) -> rule1)) -> rule6) ((triple4 triple5) -> rule1)) -> rule2)) -> rule8) ((triple4 triple5) -> rule1)) -> rule9))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Harry is not kind.
("Harry" "is" "kind" "-")
triple6
Harry is not nice.
("Harry" "is" "nice" "-")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is not big.
("Anne" "is" "big" "-")
((((triple1) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is not young.
("Anne" "is" "young" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((((triple4 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple4 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((triple1 ((((triple1) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not big.
("Anne" "is" "big" "-")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((triple1 ((((triple1) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not big.
("Anne" "is" "big" "-")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Dave is not big.
("Dave" "is" "big" "-")
((((((triple4 triple5) -> (rule1 % int3))) -> (rule5 % int2)) ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple4 triple5) -> (rule1 % int3))) -> (rule6 % int2)) ((triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple1) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not young.
("Anne" "is" "young" "-")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple1) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not young.
("Anne" "is" "young" "-")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int4)) triple1) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not big.
("Anne" "is" "big" "-")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple1 ((((triple1) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not big.
("Anne" "is" "big" "-")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
((((triple4 triple5) -> (rule1 % int4)) ((((((triple4 triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((triple4 triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not big.
("Dave" "is" "big" "-")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((((triple4 triple5) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4 triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not big.
("Dave" "is" "big" "-")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple4 triple5) -> (rule1 % int5))) -> (rule5 % int4)) ((triple4 triple5) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple5) -> (rule1 % int5))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not big.
("Dave" "is" "big" "-")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple4 triple5) -> (rule1 % int5))) -> (rule6 % int4)) ((triple4 triple5) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple5) -> (rule1 % int5))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not big.
("Dave" "is" "big" "-")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5