Anne is nice. Anne is smart. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is not quiet. Dave is not smart. Erin is blue. Erin is smart. Fiona is not big. Fiona is quiet. Furry things are not nice. All quiet things are furry. If something is blue and not furry then it is smart. If something is blue and green then it is big. If Dave is smart and Dave is big then Dave is green. If something is quiet and not nice then it is not blue.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is not smart.
("Dave" "is" "smart" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Furry things are not nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "-"))
All quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is blue and not furry then it is smart.
((("something" "is" "blue" "+") ("something" "is" "furry" "~")) -> ("something" "is" "smart" "+"))
If something is blue and green then it is big.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If Dave is smart and Dave is big then Dave is green.
((("Dave" "is" "smart" "+") ("Dave" "is" "big" "+")) -> ("Dave" "is" "green" "+"))
If something is quiet and not nice then it is not blue.
((("something" "is" "quiet" "+") ("something" "is" "nice" "~")) -> ("something" "is" "blue" "-"))
Fiona is quiet.
True
1
proof
[(triple12)]
("Fiona" "is" "quiet" "+")
triple12
Dave is smart.
False
1
inv-proof
[(triple8)]
("Dave" "is" "smart" "+")
triple8
Fiona is furry.
True
2
proof
[(((triple12) -> rule2))]
("Fiona" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple12) -> rule2))]
("Fiona" "is" "furry" "-")
((triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not nice.
True
3
proof
[(((((triple12) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "-")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
False
3
inv-proof
[(((((triple12) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "+")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not blue.
True
5
proof
[(((triple12 ((((triple12) -> rule2)) -> rule1)) -> rule6))]
("Fiona" "is" "blue" "-")
((triple12 ((((triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
False
5
inv-proof
[(((triple12 ((((triple12) -> rule2)) -> rule1)) -> rule6))]
("Fiona" "is" "blue" "+")
((triple12 ((((triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "smart" "+")
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "big" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Dave is big.[(triple3 OR ((triple4 triple5) -> rule4))] Dave is blue.[(triple4)] Dave is green.[(triple5)] Dave is nice.[(triple6)] Dave is not quiet.[(triple7)] Dave is not smart.[(triple8)] Erin is blue.[(triple9)] Erin is smart.[(triple10)] Fiona is not big.[(triple11)] Fiona is quiet.[(triple12)] @1: Fiona is furry.[(((triple12) -> rule2))] @2: Fiona is not nice.[(((((triple12) -> rule2)) -> rule1))] @3: Fiona is not blue.[(((triple12 ((((triple12) -> rule2)) -> rule1)) -> rule6))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
((triple4 triple5) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple7
Dave is not smart.
("Dave" "is" "smart" "-")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Fiona is not big.
("Fiona" "is" "big" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple12 ((((triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3