Bob is blue. Bob is cold. Bob is nice. Charlie is not cold. Charlie is not white. Charlie is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is white. Fiona is not young. Harry is quiet. Harry is not white. Harry is young. All furry things are not nice. If something is cold and quiet then it is blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
All furry things are not nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "-"))
If something is cold and quiet then it is blue.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Fiona is white.
True
1
proof
[(triple11)]
("Fiona" "is" "white" "+")
triple11
Fiona is not cold.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "cold" "-")
triple8
Fiona is not nice.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "nice" "-")
((triple9) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is nice.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Charlie is not cold.[(triple4)] Charlie is not white.[(triple5)] Charlie is young.[(triple6)] Fiona is blue.[(triple7 OR ((triple8 triple10) -> rule2))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is not young.[(triple12)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11)] Harry is not white.[(triple14)] Harry is quiet.[(triple13)] Harry is young.[(triple15)] @1: Fiona is not nice.[(((triple9) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((triple8 triple10) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is not young.
("Fiona" "is" "young" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Harry is not white.
("Harry" "is" "white" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple15
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple9) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1