Bob is big. Dave is not big. Dave is red. Dave is round. Erin is big. Fiona is big. Fiona is kind. Fiona is red. Fiona is round. Fiona is white. If something is red then it is white.
Bob is big.
("Bob" "is" "big" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is red then it is white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "kind" "-")
triple7
Dave is white.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "white" "+")
((triple3) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "white" "-")
((triple3) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is big.[(triple1)] Dave is not big.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Erin is big.[(triple5)] Fiona is big.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10 OR ((triple8) -> rule1))] @1: Dave is white.[(((triple3) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Dave is not big.
("Dave" "is" "big" "-")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
((triple8) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1