Charlie is quiet. Fiona is furry. Fiona is kind. All nice things are kind. If something is quiet then it is smart. All rough things are kind. If something is smart and kind then it is nice. All rough, quiet things are smart. If something is furry and kind then it is nice. Big things are furry. Smart, rough things are kind.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is quiet then it is smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is smart and kind then it is nice.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All rough, quiet things are smart.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is furry and kind then it is nice.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Smart, rough things are kind.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is quiet.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule2))] Fiona is nice.[(((triple2 triple3) -> rule6))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2 triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1