Bob is not furry. Bob is nice. Erin is big. Erin is not furry. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Fiona is nice. Fiona is rough. Harry is big. Harry is furry. Harry is not nice. Harry is quiet. All nice people are rough. If someone is furry and not kind then they are rough. If Erin is nice and Erin is not big then Erin is not green. If Fiona is not quiet then Fiona is not green. If someone is kind and not big then they are nice. If someone is nice and not big then they are not green.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is furry and not kind then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If Erin is nice and Erin is not big then Erin is not green.
((("Erin" "is" "nice" "+") ("Erin" "is" "big" "~")) -> ("Erin" "is" "green" "-"))
If Fiona is not quiet then Fiona is not green.
((("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "green" "-"))
If someone is kind and not big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "nice" "+"))
If someone is nice and not big then they are not green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "green" "-"))
Erin is nice.
True
1
proof
[(triple7)]
("Erin" "is" "nice" "+")
triple7
Fiona is not nice.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "nice" "-")
triple10
Bob is rough.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "rough" "-")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is nice.[(triple2)] Bob is not furry.[(triple1)] Erin is big.[(triple3)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is not furry.[(triple4)] Erin is quiet.[(triple8)] Erin is rough.[(triple9 OR ((triple7) -> rule1))] Fiona is nice.[(triple10)] Fiona is rough.[(triple11 OR ((triple10) -> rule1))] Harry is big.[(triple12)] Harry is furry.[(triple13)] Harry is not nice.[(triple14)] Harry is quiet.[(triple15)] @1: Bob is rough.[(((triple2) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not furry.
("Erin" "is" "furry" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple10) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is not nice.
("Harry" "is" "nice" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1