Bob is green. Bob is nice. Bob is quiet. Bob is rough. Erin is cold. Erin is furry. Erin is nice. If Erin is cold then Erin is nice. If Erin is not cold then Erin is nice. If someone is cold then they are nice. If someone is round and not cold then they are rough. If Erin is quiet then Erin is not round. All furry people are quiet. If someone is cold and not nice then they are furry. If someone is green and round then they are not furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
If Erin is cold then Erin is nice.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "nice" "+"))
If Erin is not cold then Erin is nice.
((("Erin" "is" "cold" "~")) -> ("Erin" "is" "nice" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and not cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "+"))
If Erin is quiet then Erin is not round.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "round" "-"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is cold and not nice then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "furry" "+"))
If someone is green and round then they are not furry.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "-"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Erin is quiet.
True
2
proof
[(((triple6) -> rule6))]
("Erin" "is" "quiet" "+")
((triple6) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple6) -> rule6))]
("Erin" "is" "quiet" "-")
((triple6) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not round.
True
3
proof
[(((((triple6) -> rule6)) -> rule5))]
("Erin" "is" "round" "-")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule5))]
("Erin" "is" "round" "+")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "furry" "-")
Erin is rough.
Unknown
rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "rough" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7 OR ((triple5) -> rule1) OR ((triple5) -> rule3))] @1: Erin is quiet.[(((triple6) -> rule6))] @2: Erin is not round.[(((((triple6) -> rule6)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple5) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple6) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not round.
("Erin" "is" "round" "-")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2