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