Anne is smart. Bob is green. Bob is red. Bob is smart. Dave is cold. Dave is white. Dave is young. All white people are smart. Cold, young people are white. All rough people are white. All white, smart people are rough. If someone is rough and white then they are red. Green, young people are red. If someone is smart then they are green. If someone is white and rough then they are young.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Cold, young people are white.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
All white, smart people are rough.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and white then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Green, young people are red.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is smart then they are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is white and rough then they are young.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Dave is cold.
True
1
proof
[(triple5)]
("Dave" "is" "cold" "+")
triple5
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Dave is smart.
True
2
proof
[(((triple6) -> rule1) OR ((((triple5 triple7) -> rule2)) -> rule1))]
("Dave" "is" "smart" "+")
((triple6) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule7))]
("Anne" "is" "green" "-")
((triple1) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is rough.
True
4
proof
[(((triple6 ((triple6) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) OR ((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4))]
("Dave" "is" "rough" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple5 triple7) -> (rule2 % int3)) ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple6 ((((triple5 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5 triple7) -> (rule2 % int3)) ((((triple5 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is not green.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule7) OR ((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7))]
("Dave" "is" "green" "-")
((((triple6) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple5 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
True
5
proof
[(((((((triple6) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple6) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6))]
("Dave" "is" "red" "+")
((((((triple6) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6 ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6 ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule7 % int4)) ((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple5 triple7) -> (rule2 % int4)) ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) ((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Dave is not red.
False
5
inv-proof
[(((((((triple6) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple6) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6))]
("Dave" "is" "red" "-")
((((((triple6) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6 ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6 ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule7 % int4)) ((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple5 triple7) -> (rule2 % int4)) ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) ((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Anne is not red.
Unknown
inv-rconc
[@4: Anne is red.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule4 <- rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Anne is not young.
Unknown
inv-rconc
[@3: Anne is young.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule2 <- FAIL)]]
("Anne" "is" "young" "-")
Bob is white.
Unknown
rconc
[@3: Bob is white.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule2 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is smart.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule7))] Bob is red.[(triple3)] Bob is smart.[(triple4)] Dave is cold.[(triple5)] Dave is white.[(triple6 OR ((triple5 triple7) -> rule2))] Dave is young.[(triple7 OR ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8))] @1: Anne is green.[(((triple1) -> rule7))] Dave is smart.[(((triple6) -> rule1) OR ((((triple5 triple7) -> rule2)) -> rule1))] @2: Dave is green.[(((((triple6) -> rule1)) -> rule7) OR ((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7))] Dave is rough.[(((triple6 ((triple6) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) OR ((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4))] @3: Dave is red.[(((((((triple6) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple6) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple5 triple7) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple6 ((triple6 ((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple6) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple6) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple5 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple5 triple7) -> (rule2 % int3)) ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple6 ((((triple5 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5 triple7) -> (rule2 % int3)) ((((triple5 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((((triple6) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((triple6) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6 ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6 ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule2 % int4)) ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple6) -> (rule1 % int5))) -> (rule7 % int4)) ((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple5 triple7) -> (rule2 % int4)) ((((triple5 triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule7 % int4)) ((triple6 ((triple6 ((triple6) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6