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