Anne is furry. Anne is green. Anne is nice. Anne is red. Dave is furry. Dave is nice. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. If someone is quiet and smart then they are kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is quiet and smart then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Dave is furry.
True
1
proof
[(triple5)]
("Dave" "is" "furry" "+")
triple5
Anne is not nice.
False
1
inv-proof
[(triple3)]
("Anne" "is" "nice" "-")
triple3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is kind.[(((triple9 triple10) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1