Anne is blue. Anne is not furry. Anne is green. Anne is kind. Bob is kind. Bob is not rough. Dave is big. Dave is furry. Fiona is cold. Fiona is green. If someone is blue then they are kind. Rough people are blue. If Bob is furry and Bob is rough then Bob is green. All big, kind people are not cold. If someone is furry and not blue then they are big. All cold, blue people are not big. All blue people are big. Green people are big.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If Bob is furry and Bob is rough then Bob is green.
((("Bob" "is" "furry" "+") ("Bob" "is" "rough" "+")) -> ("Bob" "is" "green" "+"))
All big, kind people are not cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
If someone is furry and not blue then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
All cold, blue people are not big.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "-"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Fiona is cold.
True
1
proof
[(triple9)]
("Fiona" "is" "cold" "+")
triple9
Bob is rough.
False
1
inv-proof
[(triple6)]
("Bob" "is" "rough" "+")
triple6
Fiona is big.
True
2
proof
[(((triple10) -> rule8))]
("Fiona" "is" "big" "+")
((triple10) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple10) -> rule8))]
("Fiona" "is" "big" "-")
((triple10) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple1) -> rule1))] Anne is not furry.[(triple2)] Bob is kind.[(triple5)] Bob is not rough.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] @1: Anne is big.[(((triple1) -> rule7) OR ((triple3) -> rule8))] Fiona is big.[(((triple10) -> rule8))] @2: Anne is not cold.[(((((triple1) -> rule7) triple4) -> rule4) OR ((((triple3) -> rule8) triple4) -> rule4) OR ((((triple1) -> rule7) ((triple1) -> rule1)) -> rule4) OR ((((triple3) -> rule8) ((triple1) -> rule1)) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is not rough.
("Bob" "is" "rough" "-")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple3) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple10) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is not cold.
("Anne" "is" "cold" "-")
((((triple1) -> (rule7 % int2)) triple4) -> (rule4 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3