Bob is round. Fiona is green. Harry is kind. If Bob is furry and Bob is round then Bob is rough. All kind, green things are furry. If Bob is kind then Bob is big. All quiet, big things are round. Quiet things are rough. All green things are kind.
Bob is round.
("Bob" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If Bob is furry and Bob is round then Bob is rough.
((("Bob" "is" "furry" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "rough" "+"))
All kind, green things are furry.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Bob is kind then Bob is big.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "big" "+"))
All quiet, big things are round.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Fiona is kind.
True
2
proof
[(((triple2) -> rule6))]
("Fiona" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple2) -> rule6))]
("Fiona" "is" "kind" "-")
((triple2) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
True
4
proof
[(((((triple2) -> rule6) triple2) -> rule2))]
("Fiona" "is" "furry" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple2) -> rule6) triple2) -> rule2))]
("Fiona" "is" "furry" "-")
((((triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "rough" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is round.[(triple1)] Fiona is green.[(triple2)] Harry is kind.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule6))] @2: Fiona is furry.[(((((triple2) -> rule6) triple2) -> rule2))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2