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