Bob is kind. Bob is nice. Bob is round. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is not round. Charlie is white. Gary is nice. Gary is rough. Gary is round. Harry is cold. Harry is not quiet. Harry is round. Harry is white. Quiet, kind people are not rough. If someone is cold and not quiet then they are rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet, kind people are not rough.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "-"))
If someone is cold and not quiet then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "rough" "+"))
Gary is rough.
True
1
proof
[(triple11)]
("Gary" "is" "rough" "+")
triple11
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Harry is rough.
True
3
proof
[(((triple13 triple14) -> rule2))]
("Harry" "is" "rough" "+")
((triple13 triple14) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple13 triple14) -> rule2))]
("Harry" "is" "rough" "-")
((triple13 triple14) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is not round.[(triple8)] Charlie is rough.[(triple7)] Charlie is white.[(triple9)] Gary is nice.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Harry is cold.[(triple13)] Harry is not quiet.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Harry is rough.[(((triple13 triple14) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is not round.
("Charlie" "is" "round" "-")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Harry is rough.
("Harry" "is" "rough" "+")
((triple13 triple14) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1