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