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