Bob is green. Fiona is white. Harry is green. If someone is big then they are green. If Fiona is smart then Fiona is blue. All smart people are quiet.
Bob is green.
("Bob" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If Fiona is smart then Fiona is blue.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "blue" "+"))
All smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Harry is green.
True
1
proof
[(triple3)]
("Harry" "is" "green" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is green.[(triple1)] Fiona is white.[(triple2)] Harry is green.[(triple3)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3