Anne is big. Dave is young. Erin is smart. Erin is white. Erin is young. Fiona is round. Fiona is young. All young things are white. If something is blue and round then it is white. All white things are big.
Anne is big.
("Anne" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is blue and round then it is white.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Fiona is round.
True
1
proof
[(triple6)]
("Fiona" "is" "round" "+")
triple6
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Erin is big.
True
2
proof
[(((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))]
("Erin" "is" "big" "+")
((triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is not white.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "white" "-")
((triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is big.[(triple1)] Dave is young.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4 OR ((triple5) -> rule1))] Erin is young.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Dave is white.[(((triple2) -> rule1))] Erin is big.[(((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] Fiona is white.[(((triple7) -> rule1))] @2: Dave is big.[(((((triple2) -> rule1)) -> rule3))] Fiona is big.[(((((triple7) -> rule1)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
((triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2