Anne is kind. Anne is not quiet. Anne is white. Fiona is big. Fiona is not smart. Gary is kind. Gary is quiet. Harry is not kind. Harry is not quiet. Harry is smart. If someone is big then they are red. Big people are kind. If someone is quiet then they are smart. If someone is big and not kind then they are quiet. If someone is blue and big then they are quiet. If someone is smart then they are not white.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is big and not kind then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "quiet" "+"))
If someone is blue and big then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is smart then they are not white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "-"))
Harry is not quiet.
True
1
proof
[(triple9)]
("Harry" "is" "quiet" "-")
triple9
Fiona is smart.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "smart" "+")
triple5
Fiona is kind.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is white.
False
2
inv-proof
[(((triple10) -> rule6))]
("Harry" "is" "white" "+")
((triple10) -> (rule6 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Anne is white.[(triple3)] Fiona is big.[(triple4)] Fiona is not smart.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Harry is not kind.[(triple8)] Harry is not quiet.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is kind.[(((triple4) -> rule2))] Fiona is red.[(((triple4) -> rule1))] Gary is smart.[(((triple7) -> rule3))] Harry is not white.[(((triple10) -> rule6))] @2: Gary is not white.[(((((triple7) -> rule3)) -> rule6))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple4) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple7) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
((triple10) -> (rule6 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Gary is not white.
("Gary" "is" "white" "-")
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2