Anne is big. Bob is kind. Charlie is kind. Fiona is blue. If something is red and cold then it is kind. Red, kind things are big. Red, rough things are big. If something is blue then it is cold. If Charlie is big then Charlie is kind. Red, big things are green. All red things are blue. All cold things are kind.
Anne is big.
("Anne" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If something is red and cold then it is kind.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Red, kind things are big.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Red, rough things are big.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If Charlie is big then Charlie is kind.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "kind" "+"))
Red, big things are green.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "blue" "-")
triple4
Anne is not kind.
Unknown
inv-rconc
[@3: Anne is kind.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule7 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is big.[(triple1)] Bob is kind.[(triple2)] Charlie is kind.[(triple3)] Fiona is blue.[(triple4)] @1: Fiona is cold.[(((triple4) -> rule4))] @2: Fiona is kind.[(((((triple4) -> rule4)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple4) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2