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