Charlie is rough. Dave is not young. Fiona is kind. Harry is kind. If someone is rough and not kind then they are not green. Kind people are not green. Cold, rough people are nice. Kind people are nice. If someone is big and not rough then they are cold. Big people are young. If someone is cold and not nice then they are young. If Harry is rough and Harry is not young then Harry is green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is not young.
("Dave" "is" "young" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is rough and not kind then they are not green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "green" "-"))
Kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
Cold, rough people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and not rough then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "cold" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and not nice then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "young" "+"))
If Harry is rough and Harry is not young then Harry is green.
((("Harry" "is" "rough" "+") ("Harry" "is" "young" "~")) -> ("Harry" "is" "green" "+"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Harry is not green.
True
2
proof
[(((triple4) -> rule2))]
("Harry" "is" "green" "-")
((triple4) -> (rule2 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Fiona is green.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "green" "+")
((triple3) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "cold" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Charlie is rough.[(triple1)] Dave is not young.[(triple2)] Fiona is kind.[(triple3)] Harry is kind.[(triple4)] @1: Fiona is nice.[(((triple3) -> rule4))] Fiona is not green.[(((triple3) -> rule2))] Harry is nice.[(((triple4) -> rule4))] Harry is not green.[(((triple4) -> rule2))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is not young.
("Dave" "is" "young" "-")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple3) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple4) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not green.
("Harry" "is" "green" "-")
((triple4) -> (rule2 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1