Anne is cold. Anne is smart. Bob is cold. Bob is green. Bob is red. Bob is smart. Bob is white. Bob is young. Fiona is green. Fiona is kind. Fiona is red. Harry is cold. Harry is green. Harry is kind. Harry is smart. Harry is white. All kind people are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Harry is green.
True
1
proof
[(triple13)]
("Harry" "is" "green" "+")
triple13
Bob is not smart.
False
1
inv-proof
[(triple6)]
("Bob" "is" "smart" "-")
triple6
Harry is red.
True
2
proof
[(((triple14) -> rule1))]
("Harry" "is" "red" "+")
((triple14) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple14) -> rule1))]
("Harry" "is" "red" "-")
((triple14) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Bob is young.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11 OR ((triple10) -> rule1))] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Harry is red.[(((triple14) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
((triple10) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Harry is red.
("Harry" "is" "red" "+")
((triple14) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1