Erin is red. Erin is white. Fiona is not white. If Erin is white and Erin is red then Erin is furry. Furry people are young. Red people are nice.
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
If Erin is white and Erin is red then Erin is furry.
((("Erin" "is" "white" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "furry" "+"))
Furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Erin is red.
True
1
proof
[(triple1)]
("Erin" "is" "red" "+")
triple1
Erin is not red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "-")
triple1
Erin is furry.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Erin" "is" "furry" "+")
((triple2 triple1) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple1) -> rule3))]
("Erin" "is" "nice" "-")
((triple1) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
True
4
proof
[(((((triple2 triple1) -> rule1)) -> rule2))]
("Erin" "is" "young" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not young.
False
4
inv-proof
[(((((triple2 triple1) -> rule1)) -> rule2))]
("Erin" "is" "young" "-")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Erin is red.[(triple1)] Erin is white.[(triple2)] Fiona is not white.[(triple3)] @1: Erin is furry.[(((triple2 triple1) -> rule1))] Erin is nice.[(((triple1) -> rule3))] @2: Erin is young.[(((((triple2 triple1) -> rule1)) -> rule2))]
Erin is red.
("Erin" "is" "red" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is not white.
("Fiona" "is" "white" "-")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
((triple2 triple1) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2