Erin is big. Erin is green. Erin is white. Erin is young. Fiona is furry. Fiona is smart. Harry is white. Smart people are big. All furry, big people are white. All rough people are smart.
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
All furry, big people are white.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
All rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Fiona is big.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "-")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is smart.
Unknown
rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "smart" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is white.[(triple3)] Erin is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is smart.[(triple6)] Harry is white.[(triple7)] @1: Fiona is big.[(((triple6) -> rule1))] @2: Fiona is white.[(((triple5 ((triple6) -> rule1)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple5 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2