Bob is not big. Bob is furry. Bob is not smart. Dave is quiet. Dave is smart. Erin is kind. Erin is smart. Gary is not big. Gary is furry. Gary is not nice. Gary is smart. Gary is not white. If someone is smart then they are not white. All kind, big people are nice. Furry, smart people are not kind. If someone is big and not quiet then they are furry. Furry people are not big. If Erin is not big then Erin is not nice.
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
If someone is smart then they are not white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "-"))
All kind, big people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Furry, smart people are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "-"))
If someone is big and not quiet then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
Furry people are not big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "-"))
If Erin is not big then Erin is not nice.
((("Erin" "is" "big" "~")) -> ("Erin" "is" "nice" "-"))
Gary is not big.
True
1
proof
[(triple8 OR ((triple9) -> rule5))]
("Gary" "is" "big" "-")
triple8
((triple9) -> (rule5 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Bob is big.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule5))]
("Bob" "is" "big" "+")
triple1
((triple2) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Gary is not kind.
True
3
proof
[(((triple9 triple11) -> rule3))]
("Gary" "is" "kind" "-")
((triple9 triple11) -> (rule3 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Dave is white.
False
2
inv-proof
[(((triple5) -> rule1))]
("Dave" "is" "white" "+")
((triple5) -> (rule1 % int1))
Dave is not white.
("Dave" "is" "white" "-")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "furry" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Bob is furry.[(triple2)] Bob is not big.[(triple1 OR ((triple2) -> rule5))] Bob is not smart.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)] Gary is furry.[(triple9)] Gary is not big.[(triple8 OR ((triple9) -> rule5))] Gary is not nice.[(triple10)] Gary is not white.[(triple12 OR ((triple11) -> rule1))] Gary is smart.[(triple11)] @1: Dave is not white.[(((triple5) -> rule1))] Erin is not white.[(((triple7) -> rule1))] Gary is not kind.[(((triple9 triple11) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
((triple2) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is not big.
("Gary" "is" "big" "-")
triple8
((triple9) -> (rule5 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
triple10
Gary is not white.
("Gary" "is" "white" "-")
triple12
((triple11) -> (rule1 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Dave is not white.
("Dave" "is" "white" "-")
((triple5) -> (rule1 % int1))
Dave is not white.
("Dave" "is" "white" "-")
int1
Erin is not white.
("Erin" "is" "white" "-")
((triple7) -> (rule1 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
((triple9 triple11) -> (rule3 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1