Anne is kind. Anne is nice. Bob is furry. Bob is nice. Bob is red. Bob is round. Charlie is green. Charlie is not kind. Charlie is nice. Charlie is round. Charlie is not white. Harry is green. Harry is kind. Harry is round. Harry is white. All nice things are green. If something is round and not nice then it is red. If something is nice and not green then it is round.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is round and not nice then it is red.
((("something" "is" "round" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
If something is nice and not green then it is round.
((("something" "is" "nice" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "+"))
Harry is kind.
True
1
proof
[(triple13)]
("Harry" "is" "kind" "+")
triple13
Bob is not round.
False
1
inv-proof
[(triple6)]
("Bob" "is" "round" "-")
triple6
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Charlie is green.[(triple7 OR ((triple9) -> rule1))] Charlie is nice.[(triple9)] Charlie is not kind.[(triple8)] Charlie is not white.[(triple11)] Charlie is round.[(triple10)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Anne is green.[(((triple2) -> rule1))] Bob is green.[(((triple4) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
((triple9) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple8
Charlie is not white.
("Charlie" "is" "white" "-")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple4) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1