Anne is not big. Anne is cold. Anne is green. Bob is big. Bob is blue. Bob is cold. Bob is kind. Dave is blue. Dave is cold. Dave is kind. Dave is not rough. Harry is blue. Harry is not cold. Harry is not green. Harry is not kind. Harry is rough. If something is kind then it is green. All quiet things are blue.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is rough.
("Harry" "is" "rough" "+")
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Bob is cold.
True
1
proof
[(triple6)]
("Bob" "is" "cold" "+")
triple6
Dave is not blue.
False
1
inv-proof
[(triple8)]
("Dave" "is" "blue" "-")
triple8
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "blue" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is not big.[(triple1)] Bob is big.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is kind.[(triple10)] Dave is not rough.[(triple11)] Harry is blue.[(triple12)] Harry is not cold.[(triple13)] Harry is not green.[(triple14)] Harry is not kind.[(triple15)] Harry is rough.[(triple16)] @1: Bob is green.[(((triple7) -> rule1))] Dave is green.[(((triple10) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is not rough.
("Dave" "is" "rough" "-")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is not cold.
("Harry" "is" "cold" "-")
triple13
Harry is not green.
("Harry" "is" "green" "-")
triple14
Harry is not kind.
("Harry" "is" "kind" "-")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Bob is green.
("Bob" "is" "green" "+")
((triple7) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple10) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1