Bob is green. Dave is nice. Fiona is nice. If Bob is smart then Bob is quiet. Furry people are not nice. All nice people are round. If someone is nice and smart then they are kind. If Fiona is smart and Fiona is kind then Fiona is round. All kind people are green.
Bob is green.
("Bob" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If Bob is smart then Bob is quiet.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "quiet" "+"))
Furry people are not nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
All nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and smart then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is smart and Fiona is kind then Fiona is round.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "round" "+"))
All kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is green.[(triple1)] Dave is nice.[(triple2)] Fiona is nice.[(triple3)] @1: Dave is round.[(((triple2) -> rule3))] Fiona is round.[(((triple3) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
((triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1