Anne is cold. Anne is not kind. Anne is rough. Erin is kind. Erin is quiet. Erin is not red. Erin is rough. Erin is smart. Fiona is not cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is smart. Harry is not quiet. Harry is not rough. Harry is smart. All quiet things are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is smart.
("Harry" "is" "smart" "+")
All quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Fiona is red.
True
1
proof
[(triple12)]
("Fiona" "is" "red" "+")
triple12
Fiona is not quiet.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "quiet" "-")
triple11
Erin is green.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "green" "+")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "green" "-")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Anne is not kind.[(triple2)] Anne is rough.[(triple3)] Erin is kind.[(triple4)] Erin is not red.[(triple6)] Erin is quiet.[(triple5)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Fiona is green.[(triple10 OR ((triple11) -> rule1))] Fiona is not cold.[(triple9)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Harry is not quiet.[(triple14)] Harry is not rough.[(triple15)] Harry is smart.[(triple16)] @1: Erin is green.[(((triple5) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is not red.
("Erin" "is" "red" "-")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple11) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple14
Harry is not rough.
("Harry" "is" "rough" "-")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Erin is green.
("Erin" "is" "green" "+")
((triple5) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1