Bob is not furry. Bob is green. Bob is quiet. Bob is not white. Dave is green. Dave is not quiet. Dave is red. Dave is white. Erin is furry. Erin is green. Erin is quiet. Erin is young. Harry is rough. Harry is white. Harry is young. If someone is red then they are furry. All red people are green. If someone is quiet and not red then they are young. If someone is red and not green then they are rough. If someone is red and not young then they are not white. All young, green people are white.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not white.
("Bob" "is" "white" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet and not red then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "+"))
If someone is red and not green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "rough" "+"))
If someone is red and not young then they are not white.
((("someone" "is" "red" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "white" "-"))
All young, green people are white.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Harry is rough.
True
1
proof
[(triple13)]
("Harry" "is" "rough" "+")
triple13
Bob is not quiet.
False
1
inv-proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
Dave is furry.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is green.[(triple2)] Bob is not furry.[(triple1)] Bob is not white.[(triple4)] Bob is quiet.[(triple3)] Dave is green.[(triple5 OR ((triple7) -> rule2))] Dave is not quiet.[(triple6)] Dave is red.[(triple7)] Dave is white.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is quiet.[(triple11)] Erin is young.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Dave is furry.[(((triple7) -> rule1))] Erin is white.[(((triple12 triple10) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple5
((triple7) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Dave is furry.
("Dave" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple12 triple10) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1