Anne is nice. Bob is green. Bob is quiet. Fiona is nice. Fiona is quiet. Fiona is smart. Harry is nice. Harry is quiet. Harry is red. Harry is smart. Young things are blue.
Anne is nice.
("Anne" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Harry is quiet.
True
1
proof
[(triple8)]
("Harry" "is" "quiet" "+")
triple8
Fiona is not smart.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "smart" "-")
triple6
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is nice.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6)] Harry is nice.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10