Anne is green. Anne is young. Dave is green. Dave is smart. Fiona is cold. Fiona is green. Fiona is kind. Fiona is rough. Fiona is white. Harry is rough. Harry is smart. Harry is young. If Fiona is rough and Fiona is young then Fiona is white. If someone is smart and kind then they are rough. If Anne is rough then Anne is smart. Green people are smart. If someone is green then they are smart. If someone is rough and green then they are white. If Fiona is cold and Fiona is kind then Fiona is smart. Young, rough people are cold.
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Fiona is rough and Fiona is young then Fiona is white.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "white" "+"))
If someone is smart and kind then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Anne is rough then Anne is smart.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "smart" "+"))
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is green then they are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is rough and green then they are white.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Fiona is cold and Fiona is kind then Fiona is smart.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "smart" "+"))
Young, rough people are cold.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Fiona is kind.
True
1
proof
[(triple7)]
("Fiona" "is" "kind" "+")
triple7
Fiona is not kind.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "kind" "-")
triple7
Anne is smart.
True
2
proof
[(((triple1) -> rule4) OR ((triple1) -> rule5))]
("Anne" "is" "smart" "+")
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple1) -> rule5))]
("Anne" "is" "smart" "-")
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@2: Anne is white.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Anne" "is" "white" "-")
Dave is white.
Unknown
rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Dave is green.[(triple3)] Dave is smart.[(triple4 OR ((triple3) -> rule4) OR ((triple3) -> rule5))] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8 OR ((((triple6) -> rule4) triple7) -> rule2) OR ((((triple6) -> rule5) triple7) -> rule2) OR ((((triple5 triple7) -> rule7) triple7) -> rule2))] Fiona is white.[(triple9 OR ((triple8 triple6) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule2) triple6) -> rule6) OR ((((((triple6) -> rule5) triple7) -> rule2) triple6) -> rule6) OR ((((((triple5 triple7) -> rule7) triple7) -> rule2) triple6) -> rule6))] Harry is rough.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Anne is smart.[(((triple1) -> rule4) OR ((triple1) -> rule5))] Fiona is smart.[(((triple6) -> rule4) OR ((triple6) -> rule5) OR ((triple5 triple7) -> rule7))] Harry is cold.[(((triple12 triple10) -> rule8))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
((triple3) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple3) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((((triple6) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple6) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple5 triple7) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((triple8 triple6) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((((triple6) -> (rule4 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple6) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple5 triple7) -> (rule7 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple6) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple6) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple5 triple7) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple12 triple10) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1