Bob is round. Erin is not kind. Erin is round. Fiona is blue. Fiona is red. Gary is big. Gary is round. All red people are blue. Red, blue people are kind. All red, round people are not nice.
Bob is round.
("Bob" "is" "round" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Red, blue people are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All red, round people are not nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "-"))
Fiona is blue.
True
1
proof
[(triple4 OR ((triple5) -> rule1))]
("Fiona" "is" "blue" "+")
triple4
((triple5) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not red.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "red" "-")
triple5
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is round.[(triple1)] Erin is not kind.[(triple2)] Erin is round.[(triple3)] Fiona is blue.[(triple4 OR ((triple5) -> rule1))] Fiona is red.[(triple5)] Gary is big.[(triple6)] Gary is round.[(triple7)] @1: Fiona is kind.[(((triple5 triple4) -> rule2) OR ((triple5 ((triple5) -> rule1)) -> rule2))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Erin is not kind.
("Erin" "is" "kind" "-")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple5) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5 triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2