Anne is green. Anne is smart. Anne is white. Fiona is blue. Fiona is not green. Fiona is quiet. Fiona is rough. Fiona is white. Gary is smart. Harry is green. Harry is quiet. Harry is white. All smart, red things are rough. If something is white then it is smart.
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
All smart, red things are rough.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is white then it is smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple4)]
("Fiona" "is" "blue" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple11)]
("Harry" "is" "quiet" "-")
triple11
Fiona is smart.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple12) -> rule2))]
("Harry" "is" "smart" "-")
((triple12) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is green.[(triple1)] Anne is smart.[(triple2 OR ((triple3) -> rule2))] Anne is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is not green.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Fiona is white.[(triple8)] Gary is smart.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Fiona is smart.[(((triple8) -> rule2))] Harry is smart.[(((triple12) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
((triple3) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is not green.
("Fiona" "is" "green" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple12) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1