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