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