Bob is smart. Fiona is big. Fiona is young. Gary is big. Gary is furry. Gary is rough. Harry is big. Harry is green. Harry is rough. Harry is smart. If someone is smart then they are furry.
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is smart then they are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Harry is big.
True
1
proof
[(triple7)]
("Harry" "is" "big" "+")
triple7
Harry is not smart.
False
1
inv-proof
[(triple10)]
("Harry" "is" "smart" "-")
triple10
Harry is furry.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "furry" "+")
((triple10) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is smart.[(triple1)] Fiona is big.[(triple2)] Fiona is young.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5)] Gary is rough.[(triple6)] Harry is big.[(triple7)] Harry is green.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Bob is furry.[(((triple1) -> rule1))] Harry is furry.[(((triple10) -> rule1))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple10) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1