Anne is green. Anne is kind. Anne is red. Anne is round. Fiona is blue. Fiona is not green. Fiona is kind. Gary is big. Gary is green. Gary is kind. Gary is round. Harry is big. Harry is kind. Harry is not red. Harry is round. If someone is big and not red then they are blue.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is round.
("Harry" "is" "round" "+")
If someone is big and not red then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "+"))
Anne is round.
True
1
proof
[(triple4)]
("Anne" "is" "round" "+")
triple4
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Harry is blue.
True
3
proof
[(((triple12 triple14) -> rule1))]
("Harry" "is" "blue" "+")
((triple12 triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple12 triple14) -> rule1))]
("Harry" "is" "blue" "-")
((triple12 triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple7)] Fiona is not green.[(triple6)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is round.[(triple11)] Harry is big.[(triple12)] Harry is kind.[(triple13)] Harry is not red.[(triple14)] Harry is round.[(triple15)] @1: Harry is blue.[(((triple12 triple14) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not green.
("Fiona" "is" "green" "-")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is not red.
("Harry" "is" "red" "-")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is blue.
("Harry" "is" "blue" "+")
((triple12 triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1