Dave is young. Erin is not rough. Gary is furry. Harry is not young. If someone is blue and round then they are furry. Young, round people are rough.
Dave is young.
("Dave" "is" "young" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is not young.
("Harry" "is" "young" "-")
If someone is blue and round then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Young, round people are rough.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Erin is not rough.
True
1
proof
[(triple2)]
("Erin" "is" "rough" "-")
triple2
Gary is not furry.
False
1
inv-proof
[(triple3)]
("Gary" "is" "furry" "-")
triple3
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Dave is young.[(triple1)] Erin is not rough.[(triple2)] Gary is furry.[(triple3)] Harry is not young.[(triple4)]
Dave is young.
("Dave" "is" "young" "+")
triple1
Erin is not rough.
("Erin" "is" "rough" "-")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Harry is not young.
("Harry" "is" "young" "-")
triple4