Bob is blue. Bob is cold. Bob is furry. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is white. Cold things are blue. If something is smart then it is kind. Cold, white things are smart. If something is kind then it is white. If something is smart and kind then it is cold. Blue, kind things are smart. All furry, white things are cold. If something is white then it is quiet.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is smart then it is kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Cold, white things are smart.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
If something is kind then it is white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is smart and kind then it is cold.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Blue, kind things are smart.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
All furry, white things are cold.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If something is white then it is quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Bob is furry.
True
1
proof
[(triple3)]
("Bob" "is" "furry" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Fiona is cold.
True
3
proof
[(((triple5 triple7) -> rule7))]
("Fiona" "is" "cold" "+")
((triple5 triple7) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
3
inv-proof
[(((triple5 triple7) -> rule7))]
("Fiona" "is" "cold" "-")
((triple5 triple7) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Bob is not white.
Unknown
inv-rconc
[@3: Bob is white.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is kind.
Unknown
rconc
[@3: Bob is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule4 <- FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is blue.[(triple1 OR ((triple2) -> rule1))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Fiona is blue.[(triple4 OR ((((triple5 triple7) -> rule7)) -> rule1))] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6 OR ((triple7) -> rule8))] Fiona is white.[(triple7)] @1: Fiona is cold.[(((triple5 triple7) -> rule7))] @2: Fiona is smart.[(((((triple5 triple7) -> rule7) triple7) -> rule3))] @3: Fiona is kind.[(((((((triple5 triple7) -> rule7) triple7) -> rule3)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((((triple5 triple7) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
((triple7) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5 triple7) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple5 triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple5 triple7) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3