Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is round. Bob is smart. Bob is young. Erin is furry. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is round. Gary is blue. Gary is not furry. Gary is green. Smart, blue things are big. If something is big and not green then it is not young. If Gary is smart and Gary is not big then Gary is round.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Smart, blue things are big.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something is big and not green then it is not young.
((("something" "is" "big" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "-"))
If Gary is smart and Gary is not big then Gary is round.
((("Gary" "is" "smart" "+") ("Gary" "is" "big" "~")) -> ("Gary" "is" "round" "+"))
Fiona is furry.
True
1
proof
[(triple11)]
("Fiona" "is" "furry" "+")
triple11
Fiona is not furry.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "furry" "-")
triple11
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Bob is big.[(triple1 OR ((triple6 triple2) -> rule1))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is not blue.[(triple10)] Fiona is round.[(triple13)] Gary is blue.[(triple14)] Gary is green.[(triple16)] Gary is not furry.[(triple15)]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple6 triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is green.
("Gary" "is" "green" "+")
triple16
Gary is not furry.
("Gary" "is" "furry" "-")
triple15