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