Bob is not rough. Bob is not smart. Fiona is furry. Fiona is round. Harry is kind. Harry is red. Harry is round. If something is furry then it is kind. Cold, kind things are not round. Rough things are not round. If something is rough and not furry then it is round. If something is smart then it is rough. Smart things are not rough.
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is not smart.
("Bob" "is" "smart" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Cold, kind things are not round.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "-"))
Rough things are not round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "-"))
If something is rough and not furry then it is round.
((("something" "is" "rough" "+") ("something" "is" "furry" "~")) -> ("something" "is" "round" "+"))
If something is smart then it is rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Smart things are not rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "-"))
Harry is round.
True
1
proof
[(triple7)]
("Harry" "is" "round" "+")
triple7
Harry is not round.
False
1
inv-proof
[(triple7)]
("Harry" "is" "round" "-")
triple7
Fiona is kind.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "rough" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Bob is not rough.[(triple1)] Bob is not smart.[(triple2)] Fiona is furry.[(triple3)] Fiona is round.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Fiona is kind.[(((triple3) -> rule1))]
Bob is not rough.
("Bob" "is" "rough" "-")
triple1
Bob is not smart.
("Bob" "is" "smart" "-")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1