Fiona is quiet. Harry is green. If someone is smart and not quiet then they are rough. If someone is green then they are rough.
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is smart and not quiet then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "rough" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Harry is green.
True
1
proof
[(triple2)]
("Harry" "is" "green" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "quiet" "-")
triple1
Harry is rough.
True
2
proof
[(((triple2) -> rule2))]
("Harry" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("Harry" "is" "rough" "-")
((triple2) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Fiona is quiet.[(triple1)] Harry is green.[(triple2)] @1: Harry is rough.[(((triple2) -> rule2))]
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
Harry is rough.
("Harry" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1