Bob is nice. Erin is round. Fiona is white. Harry is kind. All kind, round people are rough. If Fiona is white then Fiona is green. Quiet people are white.
Bob is nice.
("Bob" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All kind, round people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is white then Fiona is green.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "green" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple4)]
("Harry" "is" "kind" "-")
triple4
Fiona is green.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "green" "+")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "green" "-")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "white" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is nice.[(triple1)] Erin is round.[(triple2)] Fiona is white.[(triple3)] Harry is kind.[(triple4)] @1: Fiona is green.[(((triple3) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1