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