Bob is kind. Bob is round. Charlie is cold. Charlie is round. Dave is kind. Gary is kind. Gary is not nice. Round things are quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Dave is not kind.
False
1
inv-proof
[(triple5)]
("Dave" "is" "kind" "-")
triple5
Charlie is quiet.
True
2
proof
[(((triple4) -> rule1))]
("Charlie" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Dave is quiet.
Unknown
rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "quiet" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is round.[(triple4)] Dave is kind.[(triple5)] Gary is kind.[(triple6)] Gary is not nice.[(triple7)] @1: Bob is quiet.[(((triple2) -> rule1))] Charlie is quiet.[(((triple4) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is not nice.
("Gary" "is" "nice" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1