Anne is big. Anne is round. Anne is white. Bob is big. Bob is green. Bob is not round. Bob is not white. Fiona is big. Fiona is not blue. Fiona is cold. Fiona is green. Fiona is round. Fiona is white. Harry is blue. Harry is cold. Harry is young. If something is round and not blue then it is green.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is not white.
("Bob" "is" "white" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is round and not blue then it is green.
((("something" "is" "round" "+") ("something" "is" "blue" "~")) -> ("something" "is" "green" "+"))
Anne is round.
True
1
proof
[(triple2)]
("Anne" "is" "round" "+")
triple2
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is green.[(triple5)] Bob is not round.[(triple6)] Bob is not white.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple10)] Fiona is green.[(triple11 OR ((triple12 triple9) -> rule1))] Fiona is not blue.[(triple9)] Fiona is round.[(triple12)] Fiona is white.[(triple13)] Harry is blue.[(triple14)] Harry is cold.[(triple15)] Harry is young.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is not round.
("Bob" "is" "round" "-")
triple6
Bob is not white.
("Bob" "is" "white" "-")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
((triple12 triple9) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Harry is cold.
("Harry" "is" "cold" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16