Anne is blue. Anne is kind. Anne is nice. Anne is round. Anne is young. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is young. Nice things are round. If Anne is cold and Anne is round then Anne is nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If Anne is cold and Anne is round then Anne is nice.
((("Anne" "is" "cold" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "nice" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Fiona is not nice.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "nice" "-")
triple9
Fiona is round.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "round" "+")
((triple9) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "round" "-")
((triple9) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple3) -> rule1))] Anne is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is round.[(((triple9) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple9) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1