Bob is quiet. Charlie is cold. Charlie is kind. Charlie is round. Dave is blue. Dave is kind. Dave is round. Gary is cold. Gary is kind. Gary is quiet. Gary is round. Gary is young. Round people are cold.
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Bob is quiet.[(triple1)] Charlie is cold.[(triple2 OR ((triple4) -> rule1))] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Dave is round.[(triple7)] Gary is cold.[(triple8 OR ((triple11) -> rule1))] Gary is kind.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Dave is cold.[(((triple7) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple4) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple11) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1