Anne is big. Anne is nice. Anne is round. Anne is not smart. Bob is not big. Bob is cold. Bob is smart. Fiona is nice. Harry is not kind. Harry is red. Harry is round. Harry is smart. Nice people are cold. If Bob is big then Bob is smart. Smart people are not nice. If someone is kind and not big then they are red. If Fiona is nice then Fiona is not red. If Anne is smart and Anne is red then Anne is not kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Bob is not big.
("Bob" "is" "big" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If Bob is big then Bob is smart.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "smart" "+"))
Smart people are not nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
If someone is kind and not big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If Fiona is nice then Fiona is not red.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "red" "-"))
If Anne is smart and Anne is red then Anne is not kind.
((("Anne" "is" "smart" "+") ("Anne" "is" "red" "+")) -> ("Anne" "is" "kind" "-"))
Fiona is nice.
True
1
proof
[(triple8)]
("Fiona" "is" "nice" "+")
triple8
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is not smart.[(triple4)] Anne is round.[(triple3)] Bob is cold.[(triple6)] Bob is not big.[(triple5)] Bob is smart.[(triple7)] Fiona is nice.[(triple8)] Harry is not kind.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Anne is cold.[(((triple2) -> rule1))] Bob is not nice.[(((triple7) -> rule3))] Fiona is cold.[(((triple8) -> rule1))] Fiona is not red.[(((triple8) -> rule5))] Harry is not nice.[(((triple12) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not smart.
("Anne" "is" "smart" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is not big.
("Bob" "is" "big" "-")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Bob is not nice.
("Bob" "is" "nice" "-")
((triple7) -> (rule3 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple8) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not red.
("Fiona" "is" "red" "-")
((triple8) -> (rule5 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
((triple12) -> (rule3 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1