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