Bob is quiet. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is smart. Fiona is white. Harry is blue. Harry is kind. Harry is rough. Harry is smart. If Harry is quiet then Harry is kind. Rough, quiet things are kind. If Harry is white then Harry is blue.
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is quiet then Harry is kind.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "kind" "+"))
Rough, quiet things are kind.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If Harry is white then Harry is blue.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "blue" "+"))
Charlie is quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "white" "-")
triple6
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is quiet.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10