Anne is furry. Anne is nice. Anne is smart. Anne is white. Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is smart. Erin is not furry. Erin is not green. Erin is nice. All nice, furry people are rough. Smart, furry people are quiet. All quiet people are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not green.
("Erin" "is" "green" "-")
Erin is nice.
("Erin" "is" "nice" "+")
All nice, furry people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Smart, furry people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Bob is green.
True
1
proof
[(triple6 OR ((triple7) -> rule3) OR ((((triple9 triple5) -> rule2)) -> rule3))]
("Bob" "is" "green" "+")
triple6
((triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple9 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is not quiet.
False
1
inv-proof
[(triple7 OR ((triple9 triple5) -> rule2))]
("Bob" "is" "quiet" "-")
triple7
((triple9 triple5) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Anne is quiet.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "quiet" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not quiet.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "quiet" "-")
((triple3 triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
True
4
proof
[(((((triple3 triple1) -> rule2)) -> rule3))]
("Anne" "is" "green" "+")
((((triple3 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not green.
False
4
inv-proof
[(((((triple3 triple1) -> rule2)) -> rule3))]
("Anne" "is" "green" "-")
((((triple3 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is rough.
Unknown
rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is furry.[(triple5)] Bob is green.[(triple6 OR ((triple7) -> rule3) OR ((((triple9 triple5) -> rule2)) -> rule3))] Bob is quiet.[(triple7 OR ((triple9 triple5) -> rule2))] Bob is rough.[(triple8)] Bob is smart.[(triple9)] Erin is nice.[(triple12)] Erin is not furry.[(triple10)] Erin is not green.[(triple11)] @1: Anne is quiet.[(((triple3 triple1) -> rule2))] Anne is rough.[(((triple2 triple1) -> rule1))] @2: Anne is green.[(((((triple3 triple1) -> rule2)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
((triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple9 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
((triple9 triple5) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is not furry.
("Erin" "is" "furry" "-")
triple10
Erin is not green.
("Erin" "is" "green" "-")
triple11
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple3 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2