Bob is cold. Dave is big. Dave is furry. Dave is round. Fiona is nice. Gary is furry. Gary is nice. If something is white and green then it is furry. All big, green things are white. If something is cold then it is round. If something is furry and white then it is round. Green, nice things are furry. If Fiona is nice and Fiona is cold then Fiona is round.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is white and green then it is furry.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
All big, green things are white.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is furry and white then it is round.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Green, nice things are furry.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If Fiona is nice and Fiona is cold then Fiona is round.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "round" "+"))
Gary is furry.
True
1
proof
[(triple6)]
("Gary" "is" "furry" "+")
triple6
Dave is not round.
False
1
inv-proof
[(triple4)]
("Dave" "is" "round" "-")
triple4
Bob is round.
True
2
proof
[(((triple1) -> rule3))]
("Bob" "is" "round" "+")
((triple1) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "round" "-")
((triple1) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is cold.[(triple1)] Dave is big.[(triple2)] Dave is furry.[(triple3)] Dave is round.[(triple4)] Fiona is nice.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] @1: Bob is round.[(((triple1) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1