Anne is kind. Anne is nice. Anne is round. Bob is kind. Bob is nice. Fiona is kind. Fiona is quiet. Fiona is red. Harry is nice. Harry is round. If Bob is round then Bob is quiet. If Bob is nice then Bob is red.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
If Bob is round then Bob is quiet.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "quiet" "+"))
If Bob is nice then Bob is red.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "red" "+"))
Fiona is kind.
True
1
proof
[(triple6)]
("Fiona" "is" "kind" "+")
triple6
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Bob is red.
True
2
proof
[(((triple5) -> rule2))]
("Bob" "is" "red" "+")
((triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple5) -> rule2))]
("Bob" "is" "red" "-")
((triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)] @1: Bob is red.[(((triple5) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1