Bob is big. Bob is young. Erin is big. Erin is furry. Erin is red. Erin is young. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is young. All red things are kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Fiona is quiet.
True
1
proof
[(triple8)]
("Fiona" "is" "quiet" "+")
triple8
Fiona is not red.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "red" "-")
triple9
Fiona is kind.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "kind" "+")
((triple9) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "kind" "-")
((triple5) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is young.[(triple2)] Erin is big.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10)] @1: Erin is kind.[(((triple5) -> rule1))] Fiona is kind.[(((triple9) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
((triple5) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1