Bob is not rough. Erin is smart. Harry is not red. All kind, young people are red. If someone is red and not kind then they are not young. All kind people are not young. If Harry is smart and Harry is rough then Harry is not red. If someone is rough and not furry then they are not smart. Kind people are not nice. Red, young people are rough. If Erin is not rough then Erin is smart.
Bob is not rough.
("Bob" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is not red.
("Harry" "is" "red" "-")
All kind, young people are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and not kind then they are not young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "-"))
All kind people are not young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
If Harry is smart and Harry is rough then Harry is not red.
((("Harry" "is" "smart" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "red" "-"))
If someone is rough and not furry then they are not smart.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "smart" "-"))
Kind people are not nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
Red, young people are rough.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If Erin is not rough then Erin is smart.
((("Erin" "is" "rough" "~")) -> ("Erin" "is" "smart" "+"))
Bob is not rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Bob is rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is not rough.[(triple1)] Erin is smart.[(triple2)] Harry is not red.[(triple3)]
Bob is not rough.
("Bob" "is" "rough" "-")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Harry is not red.
("Harry" "is" "red" "-")
triple3