Bob is not nice. Fiona is quiet. Fiona is white. Nice, quiet things are green. If something is furry then it is nice. If Fiona is white then Fiona is furry.
Bob is not nice.
("Bob" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Nice, quiet things are green.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is furry then it is nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If Fiona is white then Fiona is furry.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "furry" "+"))
Bob is not nice.
True
1
proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Fiona is not quiet.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "quiet" "-")
triple2
Fiona is furry.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple3) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is not nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule3))] @2: Fiona is nice.[(((((triple3) -> rule3)) -> rule2))] @3: Fiona is green.[(((((((triple3) -> rule3)) -> rule2) triple2) -> rule1))]
Bob is not nice.
("Bob" "is" "nice" "-")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple3) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3