Anne is blue. Anne is quiet. Bob is blue. Bob is smart. Erin is smart. Fiona is nice. Fiona is quiet. Young, smart things are rough. If Fiona is nice and Fiona is rough then Fiona is quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Young, smart things are rough.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If Fiona is nice and Fiona is rough then Fiona is quiet.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "quiet" "+"))
Bob is smart.
True
1
proof
[(triple4)]
("Bob" "is" "smart" "+")
triple4
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3)] Bob is smart.[(triple4)] Erin is smart.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7