Anne is green. Anne is nice. Anne is red. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is smart. If someone is round then they are nice. All round people are red. Red people are smart.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Erin is furry.
True
1
proof
[(triple4)]
("Erin" "is" "furry" "+")
triple4
Erin is not kind.
False
1
inv-proof
[(triple6)]
("Erin" "is" "kind" "-")
triple6
Anne is smart.
True
2
proof
[(((triple3) -> rule3))]
("Anne" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple3) -> rule3))]
("Anne" "is" "smart" "-")
((triple3) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((triple9) -> rule1))] Erin is red.[(triple8 OR ((triple9) -> rule2))] Erin is round.[(triple9)] Erin is smart.[(triple10 OR ((triple8) -> rule3) OR ((((triple9) -> rule2)) -> rule3))] @1: Anne is smart.[(((triple3) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple9) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple8
((triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
((triple8) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1