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