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