Bob is big. Bob is not kind. Bob is nice. Bob is round. Dave is not big. Dave is kind. Dave is round. Harry is big. Harry is green. Harry is kind. If something is nice and not quiet then it is round. If something is green then it is nice. If something is green and not quiet then it is nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If something is nice and not quiet then it is round.
((("something" "is" "nice" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "round" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is green and not quiet then it is nice.
((("something" "is" "green" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "nice" "+"))
Harry is big.
True
1
proof
[(triple8)]
("Harry" "is" "big" "+")
triple8
Dave is not kind.
False
1
inv-proof
[(triple6)]
("Dave" "is" "kind" "-")
triple6
Harry is nice.
True
2
proof
[(((triple9) -> rule2))]
("Harry" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple9) -> rule2))]
("Harry" "is" "nice" "-")
((triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is round.[(triple4)] Dave is kind.[(triple6)] Dave is not big.[(triple5)] Dave is round.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] @1: Harry is nice.[(((triple9) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is not big.
("Dave" "is" "big" "-")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1