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