Bob is nice. Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Dave is furry. Dave is kind. Dave is rough. Harry is green. Harry is red. Big people are kind. Rough, red people are furry. If Harry is kind then Harry is nice. All green, kind people are big. Furry, big people are red. If Dave is green and Dave is furry then Dave is big.
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Rough, red people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Harry is kind then Harry is nice.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "nice" "+"))
All green, kind people are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Furry, big people are red.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If Dave is green and Dave is furry then Dave is big.
((("Dave" "is" "green" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "big" "+"))
Dave is furry.
True
1
proof
[(triple8)]
("Dave" "is" "furry" "+")
triple8
Harry is not green.
False
1
inv-proof
[(triple11)]
("Harry" "is" "green" "-")
triple11
Charlie is furry.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Charlie" "is" "furry" "+")
((triple7 triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Charlie" "is" "furry" "-")
((triple7 triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is nice.[(triple1)] Charlie is big.[(triple2 OR ((triple3 triple4) -> rule4))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple2) -> rule1))] Charlie is nice.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is rough.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)] @1: Charlie is furry.[(((triple7 triple6) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
((triple3 triple4) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple2) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple7 triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1