Anne is cold. Anne is kind. Anne is quiet. Anne is red. Fiona is cold. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is quiet. Fiona is not red. Fiona is not rough. Harry is cold. Harry is quiet. Harry is red. Harry is rough. If Harry is not rough then Harry is not cold. If Fiona is not quiet then Fiona is green. All rough people are cold. All red people are cold. If Anne is rough then Anne is nice. If someone is quiet and not cold then they are not nice. Cold people are nice. Red, green people are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is not rough then Harry is not cold.
((("Harry" "is" "rough" "~")) -> ("Harry" "is" "cold" "-"))
If Fiona is not quiet then Fiona is green.
((("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "green" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Anne is rough then Anne is nice.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "nice" "+"))
If someone is quiet and not cold then they are not nice.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "-"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Red, green people are nice.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Harry is quiet.
True
1
proof
[(triple13)]
("Harry" "is" "quiet" "+")
triple13
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
Anne is nice.
True
2
proof
[(((triple1) -> rule7) OR ((((triple4) -> rule4)) -> rule7))]
("Anne" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule7) OR ((((triple4) -> rule4)) -> rule7))]
("Anne" "is" "nice" "-")
((triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is cold.[(triple1 OR ((triple4) -> rule4))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple8 OR ((triple5) -> rule7))] Fiona is not kind.[(triple7)] Fiona is not red.[(triple10)] Fiona is not rough.[(triple11)] Fiona is quiet.[(triple9)] Harry is cold.[(triple12 OR ((triple14) -> rule4) OR ((triple15) -> rule3))] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Anne is nice.[(((triple1) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] Harry is nice.[(((triple12) -> rule7) OR ((((triple14) -> rule4)) -> rule7) OR ((((triple15) -> rule3)) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple4) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
((triple5) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple7
Fiona is not red.
("Fiona" "is" "red" "-")
triple10
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple15) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple12) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple15) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2