Dave is not furry. Dave is not green. Dave is smart. Erin is furry. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is green. Gary is red. Harry is furry. Harry is rough. Harry is smart. Harry is white. Harry is young. If Erin is not furry then Erin is smart. All red, furry things are smart. All furry, green things are not smart. If Harry is green then Harry is smart. If something is young and not red then it is green. If something is white and rough then it is not green. If something is furry and rough then it is young. If something is green then it is rough.
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Erin is not furry then Erin is smart.
((("Erin" "is" "furry" "~")) -> ("Erin" "is" "smart" "+"))
All red, furry things are smart.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All furry, green things are not smart.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "-"))
If Harry is green then Harry is smart.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "smart" "+"))
If something is young and not red then it is green.
((("something" "is" "young" "+") ("something" "is" "red" "~")) -> ("something" "is" "green" "+"))
If something is white and rough then it is not green.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "-"))
If something is furry and rough then it is young.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Erin is rough.
True
1
proof
[(triple6)]
("Erin" "is" "rough" "+")
triple6
Gary is not green.
False
1
inv-proof
[(triple10)]
("Gary" "is" "green" "-")
triple10
Erin is not green.
True
3
proof
[(((triple8 triple6) -> rule6))]
("Erin" "is" "green" "-")
((triple8 triple6) -> (rule6 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Gary is not rough.
False
2
inv-proof
[(((triple10) -> rule8))]
("Gary" "is" "rough" "-")
((triple10) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is not furry.[(triple1)] Dave is not green.[(triple2)] Dave is smart.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7 OR ((triple5 triple4) -> rule2))] Erin is white.[(triple8)] Erin is young.[(triple9 OR ((triple4 triple6) -> rule7))] Gary is green.[(triple10)] Gary is red.[(triple11)] Harry is furry.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple12 triple13) -> rule7))] @1: Erin is not green.[(((triple8 triple6) -> rule6))] Gary is rough.[(((triple10) -> rule8))] Harry is not green.[(((triple15 triple13) -> rule6))]
Dave is not furry.
("Dave" "is" "furry" "-")
triple1
Dave is not green.
("Dave" "is" "green" "-")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
((triple5 triple4) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
((triple4 triple6) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple12 triple13) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is not green.
("Erin" "is" "green" "-")
((triple8 triple6) -> (rule6 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is not green.
("Harry" "is" "green" "-")
((triple15 triple13) -> (rule6 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1