Anne is cold. Anne is kind. Anne is smart. Bob is kind. Charlie is nice. Charlie is quiet. Fiona is big. Fiona is kind. Fiona is nice. Fiona is smart. Kind, quiet things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Kind, quiet things are smart.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Charlie is quiet.
True
1
proof
[(triple6)]
("Charlie" "is" "quiet" "+")
triple6
Bob is not kind.
False
1
inv-proof
[(triple4)]
("Bob" "is" "kind" "-")
triple4
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Bob is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10