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