Anne is nice. Anne is red. Fiona is red. Fiona is smart. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. If someone is round and rough then they are white. Nice, red people are green. If someone is round and not red then they are not smart.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is round and rough then they are white.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Nice, red people are green.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round and not red then they are not smart.
((("someone" "is" "round" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "smart" "-"))
Harry is red.
True
1
proof
[(triple6)]
("Harry" "is" "red" "+")
triple6
Harry is not smart.
False
1
inv-proof
[(triple9)]
("Harry" "is" "smart" "-")
triple9
Anne is green.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Anne" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Anne" "is" "green" "-")
((triple1 triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Fiona is red.[(triple3)] Fiona is smart.[(triple4)] Harry is green.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10 OR ((triple8 triple7) -> rule1))] @1: Anne is green.[(((triple1 triple2) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple8 triple7) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple1 triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1