Anne is big. Anne is not cold. Anne is not red. Bob is cold. Bob is red. Bob is not round. Fiona is big. Fiona is round. Harry is not big. Harry is cold. If Harry is cold and Harry is blue then Harry is young. If something is red and big then it is round. If Anne is red and Anne is cold then Anne is young. Young, blue things are not red. If something is round and green then it is red. If Harry is green and Harry is not cold then Harry is red. If something is big then it is not young. If something is green then it is blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not red.
("Anne" "is" "red" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not round.
("Bob" "is" "round" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is cold.
("Harry" "is" "cold" "+")
If Harry is cold and Harry is blue then Harry is young.
((("Harry" "is" "cold" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "young" "+"))
If something is red and big then it is round.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If Anne is red and Anne is cold then Anne is young.
((("Anne" "is" "red" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "young" "+"))
Young, blue things are not red.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "-"))
If something is round and green then it is red.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If Harry is green and Harry is not cold then Harry is red.
((("Harry" "is" "green" "+") ("Harry" "is" "cold" "~")) -> ("Harry" "is" "red" "+"))
If something is big then it is not young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "-"))
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Fiona is big.
True
1
proof
[(triple7)]
("Fiona" "is" "big" "+")
triple7
Fiona is not big.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "big" "-")
triple7
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "blue" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is not cold.[(triple2)] Anne is not red.[(triple3)] Bob is cold.[(triple4)] Bob is not round.[(triple6)] Bob is red.[(triple5)] Fiona is big.[(triple7)] Fiona is round.[(triple8)] Harry is cold.[(triple10)] Harry is not big.[(triple9)] @1: Anne is not young.[(((triple1) -> rule7))] Fiona is not young.[(((triple7) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is not round.
("Bob" "is" "round" "-")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is not big.
("Harry" "is" "big" "-")
triple9
Anne is not young.
("Anne" "is" "young" "-")
((triple1) -> (rule7 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((triple7) -> (rule7 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1