Anne is not big. Anne is cold. Anne is red. Anne is young. Dave is cold. Dave is kind. Dave is young. Fiona is not blue. Fiona is not white. Harry is not blue. Harry is white. Harry is young. Young things are red. Cold things are white.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Fiona is not white.
True
1
proof
[(triple9)]
("Fiona" "is" "white" "-")
triple9
Harry is not white.
False
1
inv-proof
[(triple11)]
("Harry" "is" "white" "-")
triple11
Dave is red.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "red" "+")
((triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "red" "-")
((triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Anne is cold.[(triple2)] Anne is not big.[(triple1)] Anne is red.[(triple3 OR ((triple4) -> rule1))] Anne is young.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is young.[(triple7)] Fiona is not blue.[(triple8)] Fiona is not white.[(triple9)] Harry is not blue.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Anne is white.[(((triple2) -> rule2))] Dave is red.[(((triple7) -> rule1))] Dave is white.[(((triple5) -> rule2))] Harry is red.[(((triple12) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Harry is not blue.
("Harry" "is" "blue" "-")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple5) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1