Bob is young. Fiona is kind. Gary is big. If Gary is big then Gary is white. Big people are smart. If someone is nice and young then they are not white. If Fiona is smart and Fiona is young then Fiona is nice. If someone is big and not smart then they are not young. If someone is nice and not big then they are kind.
Bob is young.
("Bob" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If Gary is big then Gary is white.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "white" "+"))
Big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
If someone is nice and young then they are not white.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
If Fiona is smart and Fiona is young then Fiona is nice.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "nice" "+"))
If someone is big and not smart then they are not young.
((("someone" "is" "big" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "-"))
If someone is nice and not big then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Gary is not big.
False
1
inv-proof
[(triple3)]
("Gary" "is" "big" "-")
triple3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is young.[(triple1)] Fiona is kind.[(triple2)] Gary is big.[(triple3)] @1: Gary is smart.[(((triple3) -> rule2))] Gary is white.[(((triple3) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple3) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1