Bob is not young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Nice things are smart. Red things are big.
Bob is not young.
("Bob" "is" "young" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Fiona is nice.
True
1
proof
[(triple4)]
("Fiona" "is" "nice" "+")
triple4
Fiona is not red.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "red" "-")
triple5
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is not young.[(triple1)] Fiona is big.[(triple2 OR ((triple5) -> rule2))] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6 OR ((triple4) -> rule1))] Fiona is young.[(triple7)]
Bob is not young.
("Bob" "is" "young" "-")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
((triple5) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7