Anne is cold. Anne is kind. Anne is nice. Anne is rough. Anne is young. Erin is furry. Erin is nice. Erin is young. Fiona is rough. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is white. Harry is young. If someone is rough then they are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Harry is young.
True
1
proof
[(triple16)]
("Harry" "is" "young" "+")
triple16
Anne is not rough.
False
1
inv-proof
[(triple4)]
("Anne" "is" "rough" "-")
triple4
Fiona is nice.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "nice" "-")
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule1))] Anne is rough.[(triple4)] Anne is young.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is young.[(triple8)] Fiona is rough.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple14) -> rule1))] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Fiona is nice.[(((triple9) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple4) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
((triple14) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1