Anne is kind. Anne is red. Anne is round. Anne is white. Anne is young. Erin is blue. Erin is furry. Erin is kind. Erin is red. Erin is round. Erin is white. Erin is young. Fiona is red. Fiona is round. Fiona is young. All red things are furry. Furry things are white.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple11 OR ((triple7) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("Erin" "is" "white" "+")
triple11
((triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Fiona is not young.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "young" "-")
triple15
Fiona is furry.
True
2
proof
[(((triple13) -> rule1))]
("Fiona" "is" "furry" "+")
((triple13) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple13) -> rule1))]
("Fiona" "is" "furry" "-")
((triple13) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
True
3
proof
[(((((triple13) -> rule1)) -> rule2))]
("Fiona" "is" "white" "+")
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple13) -> rule1)) -> rule2))]
("Fiona" "is" "white" "-")
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((((triple2) -> rule1)) -> rule2))] Anne is young.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple9) -> rule1))] Erin is kind.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11 OR ((triple7) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Erin is young.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14)] Fiona is young.[(triple15)] @1: Anne is furry.[(((triple2) -> rule1))] Fiona is furry.[(((triple13) -> rule1))] @2: Fiona is white.[(((((triple13) -> rule1)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple9) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
((triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple13) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2