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