Anne is blue. Anne is not green. Anne is not kind. Anne is quiet. Anne is smart. Anne is white. Anne is not young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is not white. Harry is blue. Harry is green. Harry is kind. Harry is not quiet. All kind, smart things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
All kind, smart things are young.
((("something" "is" "kind" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Fiona is not white.
True
1
proof
[(triple12)]
("Fiona" "is" "white" "-")
triple12
Anne is not quiet.
False
1
inv-proof
[(triple4)]
("Anne" "is" "quiet" "-")
triple4
Fiona is young.
True
3
proof
[(((triple9 triple11) -> rule1))]
("Fiona" "is" "young" "+")
((triple9 triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
3
inv-proof
[(((triple9 triple11) -> rule1))]
("Fiona" "is" "young" "-")
((triple9 triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is not green.[(triple2)] Anne is not kind.[(triple3)] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is not white.[(triple12)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is not quiet.[(triple16)] @1: Fiona is young.[(((triple9 triple11) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple16
Fiona is young.
("Fiona" "is" "young" "+")
((triple9 triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1