Dave is kind. Fiona is kind. Fiona is nice. Fiona is white. Gary is furry. Gary is red. Gary is not smart. Gary is white. Harry is furry. Harry is red. If Dave is not white then Dave is rough. All white, furry things are rough. All kind things are rough. If Fiona is kind then Fiona is red. If something is rough and not nice then it is red. If Gary is furry and Gary is kind then Gary is white.
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
If Dave is not white then Dave is rough.
((("Dave" "is" "white" "~")) -> ("Dave" "is" "rough" "+"))
All white, furry things are rough.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If Fiona is kind then Fiona is red.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "red" "+"))
If something is rough and not nice then it is red.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
If Gary is furry and Gary is kind then Gary is white.
((("Gary" "is" "furry" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "white" "+"))
Harry is furry.
True
1
proof
[(triple9)]
("Harry" "is" "furry" "+")
triple9
Fiona is not white.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "white" "-")
triple4
Dave is rough.
True
2
proof
[(((triple1) -> rule3))]
("Dave" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is kind.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is white.[(triple4)] Gary is furry.[(triple5)] Gary is not smart.[(triple7)] Gary is red.[(triple6)] Gary is white.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] @1: Dave is rough.[(((triple1) -> rule3))] Fiona is red.[(((triple2) -> rule4))] Fiona is rough.[(((triple2) -> rule3))] Gary is rough.[(((triple8 triple5) -> rule2))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is not smart.
("Gary" "is" "smart" "-")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple8 triple5) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1