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