Erin is nice. Harry is smart. Nice people are rough. If someone is smart then they are nice. If Erin is green then Erin is not cold.
Erin is nice.
("Erin" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is smart then they are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If Erin is green then Erin is not cold.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "cold" "-"))
Harry is smart.
True
1
proof
[(triple2)]
("Harry" "is" "smart" "+")
triple2
Harry is not smart.
False
1
inv-proof
[(triple2)]
("Harry" "is" "smart" "-")
triple2
Harry is nice.
True
2
proof
[(((triple2) -> rule2))]
("Harry" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Erin is nice.[(triple1)] Harry is smart.[(triple2)] @1: Erin is rough.[(((triple1) -> rule1))] Harry is nice.[(((triple2) -> rule2))] @2: Harry is rough.[(((((triple2) -> rule2)) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Harry is smart.
("Harry" "is" "smart" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2