Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is white. Bob is big. Bob is blue. Bob is kind. Bob is round. Bob is smart. Bob is white. Fiona is blue. Fiona is kind. Fiona is quiet. If something is quiet and round then it is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If something is quiet and round then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple14)]
("Fiona" "is" "blue" "+")
triple14
Anne is not round.
False
1
inv-proof
[(triple5)]
("Anne" "is" "round" "-")
triple5
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple4 triple5) -> rule1))] Anne is white.[(triple7)] Bob is big.[(triple8)] Bob is blue.[(triple9)] Bob is kind.[(triple10)] Bob is round.[(triple11)] Bob is smart.[(triple12)] Bob is white.[(triple13)] Fiona is blue.[(triple14)] Fiona is kind.[(triple15)] Fiona is quiet.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple4 triple5) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is blue.
("Bob" "is" "blue" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
triple11
Bob is smart.
("Bob" "is" "smart" "+")
triple12
Bob is white.
("Bob" "is" "white" "+")
triple13
Fiona is blue.
("Fiona" "is" "blue" "+")
triple14
Fiona is kind.
("Fiona" "is" "kind" "+")
triple15
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple16