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