Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is smart. Anne is white. Dave is big. Dave is furry. Dave is rough. Fiona is big. Fiona is green. Fiona is rough. Fiona is smart. Fiona is white. If Anne is rough and Anne is kind then Anne is white. Furry, green things are smart. If something is furry and rough then it is green. If something is smart and green then it is rough. Green, furry things are rough. If Dave is big then Dave is white. If Fiona is kind and Fiona is green then Fiona is furry. If something is smart and furry then it is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Anne is rough and Anne is kind then Anne is white.
((("Anne" "is" "rough" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "white" "+"))
Furry, green things are smart.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is furry and rough then it is green.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is smart and green then it is rough.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Green, furry things are rough.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If Dave is big then Dave is white.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "white" "+"))
If Fiona is kind and Fiona is green then Fiona is furry.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
If something is smart and furry then it is kind.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Fiona is smart.
True
1
proof
[(triple14)]
("Fiona" "is" "smart" "+")
triple14
Fiona is not white.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "white" "-")
triple15
Dave is white.
True
2
proof
[(((triple8) -> rule6))]
("Dave" "is" "white" "+")
((triple8) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not white.
False
2
inv-proof
[(((triple8) -> rule6))]
("Dave" "is" "white" "-")
((triple8) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
True
5
proof
[(((triple9 ((triple9 triple10) -> rule3)) -> rule2))]
("Dave" "is" "smart" "+")
((triple9 ((triple9 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not smart.
False
5
inv-proof
[(((triple9 ((triple9 triple10) -> rule3)) -> rule2))]
("Dave" "is" "smart" "-")
((triple9 ((triple9 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
True
7
proof
[(((((triple9 ((triple9 triple10) -> rule3)) -> rule2) triple9) -> rule8))]
("Dave" "is" "kind" "+")
((((triple9 ((triple9 triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple9) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not kind.
False
7
inv-proof
[(((((triple9 ((triple9 triple10) -> rule3)) -> rule2) triple9) -> rule8))]
("Dave" "is" "kind" "-")
((((triple9 ((triple9 triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple9) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is kind.
Unknown
rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple2 triple5) -> rule3))] Anne is kind.[(triple4 OR ((triple6 triple2) -> rule8) OR ((((triple2 triple3) -> rule2) triple2) -> rule8) OR ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8))] Anne is rough.[(triple5 OR ((triple3 triple2) -> rule5) OR ((triple6 triple3) -> rule4) OR ((((triple2 triple3) -> rule2) triple3) -> rule4))] Anne is smart.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2 triple5) -> rule3)) -> rule2))] Anne is white.[(triple7 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple6 triple2) -> rule8)) -> rule1) OR ((((triple3 triple2) -> rule5) triple4) -> rule1) OR ((((triple6 triple3) -> rule4) triple4) -> rule1) OR ((((triple3 triple2) -> rule5) ((triple6 triple2) -> rule8)) -> rule1) OR ((((triple6 triple3) -> rule4) ((triple6 triple2) -> rule8)) -> rule1) OR ((triple5 ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) triple4) -> rule1) OR ((((triple3 triple2) -> rule5) ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((((triple6 triple3) -> rule4) ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) ((triple6 triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((triple5 ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1) OR ((((triple3 triple2) -> rule5) ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1) OR ((((triple6 triple3) -> rule4) ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1))] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is rough.[(triple10)] Fiona is big.[(triple11)] Fiona is green.[(triple12)] Fiona is rough.[(triple13 OR ((triple14 triple12) -> rule4))] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Dave is green.[(((triple9 triple10) -> rule3))] Dave is white.[(((triple8) -> rule6))] @2: Dave is smart.[(((triple9 ((triple9 triple10) -> rule3)) -> rule2))] @3: Dave is kind.[(((((triple9 ((triple9 triple10) -> rule3)) -> rule2) triple9) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple2 triple5) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple6 triple2) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2 triple3) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple2 ((triple2 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple3 triple2) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple6 triple3) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2 triple3) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple2 triple3) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple2 ((triple2 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple5 triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple5 ((triple6 triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple6 triple3) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple3 triple2) -> (rule5 % int3)) ((triple6 triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple6 triple3) -> (rule4 % int3)) ((triple6 triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple5 ((((triple2 triple3) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2 triple3) -> (rule2 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple3 triple2) -> (rule5 % int4)) ((((triple2 triple3) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple6 triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple2 triple3) -> (rule2 % int4)) triple3) -> (rule4 % int3)) ((triple6 triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2 triple3) -> (rule2 % int4)) triple3) -> (rule4 % int3)) ((((triple2 triple3) -> (rule2 % int4)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((triple5 ((((triple2 ((triple2 triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple3 triple2) -> (rule5 % int5)) ((((triple2 ((triple2 triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6 triple3) -> (rule4 % int5)) ((((triple2 ((triple2 triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple2 triple3) -> (rule2 % int5)) triple3) -> (rule4 % int4)) ((((triple2 ((triple2 triple5) -> (rule3 % int3))) -> (rule2 % int5)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
((triple14 triple12) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Dave is green.
("Dave" "is" "green" "+")
((triple9 triple10) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple8) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple9 ((triple9 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple9 ((triple9 triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple9) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3