Bob is red. Bob is smart. Charlie is big. Charlie is red. Charlie is smart. Erin is not furry. Fiona is not big. Furry people are not red. All big people are round. If someone is furry and not smart then they are not kind.
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Furry people are not red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "-"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is furry and not smart then they are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "kind" "-"))
Erin is not furry.
True
1
proof
[(triple6)]
("Erin" "is" "furry" "-")
triple6
Fiona is big.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "big" "+")
triple7
Charlie is round.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "round" "-")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Bob is red.[(triple1)] Bob is smart.[(triple2)] Charlie is big.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Erin is not furry.[(triple6)] Fiona is not big.[(triple7)] @1: Charlie is round.[(((triple3) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Erin is not furry.
("Erin" "is" "furry" "-")
triple6
Fiona is not big.
("Fiona" "is" "big" "-")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1