Bob is not big. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is not round. Dave is big. Dave is not quiet. Dave is round. Erin is cold. Erin is not nice. Erin is round. Gary is not big. Gary is not furry. Gary is nice. Gary is round. If someone is nice and not round then they are big. If someone is cold then they are furry.
Bob is not big.
("Bob" "is" "big" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not round.
("Bob" "is" "round" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is round.
("Erin" "is" "round" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is nice and not round then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Gary is not furry.
True
1
proof
[(triple14)]
("Gary" "is" "furry" "-")
triple14
Erin is not cold.
False
1
inv-proof
[(triple10)]
("Erin" "is" "cold" "-")
triple10
Erin is furry.
True
2
proof
[(((triple10) -> rule2))]
("Erin" "is" "furry" "+")
((triple10) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple10) -> rule2))]
("Erin" "is" "furry" "-")
((triple10) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Erin is big.
Unknown
rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule2))] Bob is green.[(triple4)] Bob is not big.[(triple1)] Bob is not round.[(triple6)] Bob is quiet.[(triple5)] Dave is big.[(triple7)] Dave is not quiet.[(triple8)] Dave is round.[(triple9)] Erin is cold.[(triple10)] Erin is not nice.[(triple11)] Erin is round.[(triple12)] Gary is nice.[(triple15)] Gary is not big.[(triple13)] Gary is not furry.[(triple14)] Gary is round.[(triple16)] @1: Erin is furry.[(((triple10) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is not nice.
("Erin" "is" "nice" "-")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is not big.
("Gary" "is" "big" "-")
triple13
Gary is not furry.
("Gary" "is" "furry" "-")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple16
Erin is furry.
("Erin" "is" "furry" "+")
((triple10) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1