Anne is nice. Anne is rough. Anne is round. Anne is not white. Bob is not big. Bob is blue. Bob is round. Bob is white. Fiona is green. Fiona is nice. Fiona is round. Fiona is white. Harry is blue. Harry is not green. Harry is round. Harry is white. All round, big things are blue. If Anne is rough and Anne is not big then Anne is green. If something is nice and not white then it is rough. If something is nice and green then it is rough. All blue things are not green. All big, round things are not green. If Bob is not big then Bob is not green. If Anne is nice and Anne is not white then Anne is blue.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All round, big things are blue.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If Anne is rough and Anne is not big then Anne is green.
((("Anne" "is" "rough" "+") ("Anne" "is" "big" "~")) -> ("Anne" "is" "green" "+"))
If something is nice and not white then it is rough.
((("something" "is" "nice" "+") ("something" "is" "white" "~")) -> ("something" "is" "rough" "+"))
If something is nice and green then it is rough.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
All blue things are not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
All big, round things are not green.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
If Bob is not big then Bob is not green.
((("Bob" "is" "big" "~")) -> ("Bob" "is" "green" "-"))
If Anne is nice and Anne is not white then Anne is blue.
((("Anne" "is" "nice" "+") ("Anne" "is" "white" "~")) -> ("Anne" "is" "blue" "+"))
Fiona is nice.
True
1
proof
[(triple10)]
("Fiona" "is" "nice" "+")
triple10
Harry is not blue.
False
1
inv-proof
[(triple13)]
("Harry" "is" "blue" "-")
triple13
Anne is blue.
True
3
proof
[(((triple1 triple4) -> rule8))]
("Anne" "is" "blue" "+")
((triple1 triple4) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple10 triple9) -> rule4))]
("Fiona" "is" "rough" "-")
((triple10 triple9) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is not green.
True
4
proof
[(((((triple1 triple4) -> rule8)) -> rule5))]
("Anne" "is" "green" "-")
((((triple1 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
False
4
inv-proof
[(((((triple1 triple4) -> rule8)) -> rule5))]
("Anne" "is" "green" "+")
((((triple1 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is nice.[(triple1)] Anne is not white.[(triple4)] Anne is rough.[(triple2 OR ((triple1 triple4) -> rule3))] Anne is round.[(triple3)] Bob is blue.[(triple6)] Bob is not big.[(triple5)] Bob is round.[(triple7)] Bob is white.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)] Harry is blue.[(triple13)] Harry is not green.[(triple14 OR ((triple13) -> rule5))] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Anne is blue.[(((triple1 triple4) -> rule8))] Bob is not green.[(((triple5) -> rule7) OR ((triple6) -> rule5))] Fiona is rough.[(((triple10 triple9) -> rule4))] @2: Anne is not green.[(((((triple1 triple4) -> rule8)) -> rule5))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple2
((triple1 triple4) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is not big.
("Bob" "is" "big" "-")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is not green.
("Harry" "is" "green" "-")
triple14
((triple13) -> (rule5 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple4) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is not green.
("Bob" "is" "green" "-")
((triple5) -> (rule7 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
((triple6) -> (rule5 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10 triple9) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is not green.
("Anne" "is" "green" "-")
((((triple1 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2