Bob is green. Bob is nice. Bob is rough. Bob is not round. Bob is white. Bob is young. Harry is rough. Harry is not round. Harry is not white. Harry is young. All nice people are green. If someone is round and not blue then they are not young.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
All nice people are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is round and not blue then they are not young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "-"))
Harry is not white.
True
1
proof
[(triple9)]
("Harry" "is" "white" "-")
triple9
Bob is not green.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule1))]
("Bob" "is" "green" "-")
triple1
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is green.[(triple1 OR ((triple2) -> rule1))] Bob is nice.[(triple2)] Bob is not round.[(triple4)] Bob is rough.[(triple3)] Bob is white.[(triple5)] Bob is young.[(triple6)] Harry is not round.[(triple8)] Harry is not white.[(triple9)] Harry is rough.[(triple7)] Harry is young.[(triple10)]
Bob is green.
("Bob" "is" "green" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not round.
("Bob" "is" "round" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Harry is not round.
("Harry" "is" "round" "-")
triple8
Harry is not white.
("Harry" "is" "white" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple10