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