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