Anne is big. Anne is blue. Anne is not quiet. Anne is not smart. Bob is blue. Bob is quiet. Bob is smart. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is young. Harry is blue. Harry is kind. Harry is quiet. Harry is smart. If Anne is young then Anne is not red. If someone is quiet and not kind then they are red. Kind people are red. If someone is blue then they are red. If Fiona is not quiet then Fiona is smart. If Fiona is young and Fiona is not big then Fiona is not smart. If Anne is quiet and Anne is big then Anne is not blue. If Fiona is big and Fiona is blue then Fiona is not young.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is not smart.
("Anne" "is" "smart" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Anne is young then Anne is not red.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "red" "-"))
If someone is quiet and not kind then they are red.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "red" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If Fiona is not quiet then Fiona is smart.
((("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "smart" "+"))
If Fiona is young and Fiona is not big then Fiona is not smart.
((("Fiona" "is" "young" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "smart" "-"))
If Anne is quiet and Anne is big then Anne is not blue.
((("Anne" "is" "quiet" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "blue" "-"))
If Fiona is big and Fiona is blue then Fiona is not young.
((("Fiona" "is" "big" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "young" "-"))
Harry is kind.
True
1
proof
[(triple14)]
("Harry" "is" "kind" "+")
triple14
Fiona is not red.
False
1
inv-proof
[(triple11 OR ((triple9) -> rule3))]
("Fiona" "is" "red" "-")
triple11
((triple9) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not quiet.[(triple3)] Anne is not smart.[(triple4)] Bob is blue.[(triple5)] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11 OR ((triple9) -> rule3))] Fiona is young.[(triple12)] Harry is blue.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16)] @1: Anne is red.[(((triple2) -> rule4))] Bob is red.[(((triple5) -> rule4))] Harry is red.[(((triple13) -> rule4) OR ((triple14) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is not smart.
("Anne" "is" "smart" "-")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
((triple9) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple5) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple13) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple14) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1