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