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