Erin is red. Erin is not smart. Fiona is not big. Fiona is nice. Fiona is not red. Fiona is smart. Gary is rough. Big, young things are not nice. If Fiona is rough then Fiona is not young. Big things are not rough. If something is cold and red then it is big. If Fiona is nice then Fiona is rough. Big things are cold. Young, rough things are red. If something is big and not nice then it is smart.
Erin is red.
("Erin" "is" "red" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Big, young things are not nice.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "-"))
If Fiona is rough then Fiona is not young.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "young" "-"))
Big things are not rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "-"))
If something is cold and red then it is big.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If Fiona is nice then Fiona is rough.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "rough" "+"))
Big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Young, rough things are red.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is big and not nice then it is smart.
((("something" "is" "big" "+") ("something" "is" "nice" "~")) -> ("something" "is" "smart" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Erin is smart.
False
1
inv-proof
[(triple2)]
("Erin" "is" "smart" "+")
triple2
Fiona is rough.
True
2
proof
[(((triple4) -> rule5))]
("Fiona" "is" "rough" "+")
((triple4) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple4) -> rule5))]
("Fiona" "is" "rough" "-")
((triple4) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not young.
True
3
proof
[(((((triple4) -> rule5)) -> rule2))]
("Fiona" "is" "young" "-")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule2))]
("Fiona" "is" "young" "+")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "smart" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "cold" "+")
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is not smart.[(triple2)] Erin is red.[(triple1)] Fiona is nice.[(triple4)] Fiona is not big.[(triple3)] Fiona is not red.[(triple5)] Fiona is smart.[(triple6)] Gary is rough.[(triple7)] @1: Fiona is rough.[(((triple4) -> rule5))] @2: Fiona is not young.[(((((triple4) -> rule5)) -> rule2))]
Erin is not smart.
("Erin" "is" "smart" "-")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is not big.
("Fiona" "is" "big" "-")
triple3
Fiona is not red.
("Fiona" "is" "red" "-")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2