Bob is not furry. Bob is not rough. Erin is green. Erin is kind. Erin is nice. Erin is white. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Nice people are white. If Fiona is nice then Fiona is smart. If someone is furry and not green then they are rough. If someone is smart and not white then they are rough. If someone is nice and furry then they are not kind. Rough, nice people are not kind. If Bob is rough then Bob is kind. If Bob is rough and Bob is not nice then Bob is not kind.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Fiona is nice then Fiona is smart.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "smart" "+"))
If someone is furry and not green then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "rough" "+"))
If someone is smart and not white then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "rough" "+"))
If someone is nice and furry then they are not kind.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
Rough, nice people are not kind.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "-"))
If Bob is rough then Bob is kind.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "kind" "+"))
If Bob is rough and Bob is not nice then Bob is not kind.
((("Bob" "is" "rough" "+") ("Bob" "is" "nice" "~")) -> ("Bob" "is" "kind" "-"))
Fiona is green.
True
1
proof
[(triple8)]
("Fiona" "is" "green" "+")
triple8
Bob is furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Fiona is smart.
True
2
proof
[(((triple9) -> rule2))]
("Fiona" "is" "smart" "+")
((triple9) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "white" "-")
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "rough" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is not furry.[(triple1)] Bob is not rough.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is white.[(triple6 OR ((triple5) -> rule1))] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] @1: Fiona is not kind.[(((triple10 triple9) -> rule6) OR ((triple9 triple7) -> rule5))] Fiona is smart.[(((triple9) -> rule2))] Fiona is white.[(((triple9) -> rule1))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple10 triple9) -> (rule6 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
((triple9 triple7) -> (rule5 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple9) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1