Anne is kind. Anne is round. Anne is smart. Anne is not white. Fiona is not kind. Fiona is nice. Fiona is smart. Fiona is white. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is round. Harry is smart. Harry is white. If something is nice then it is big. All big, kind things are green. Big, nice things are round.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All big, kind things are green.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Big, nice things are round.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Harry is nice.
True
1
proof
[(triple12)]
("Harry" "is" "nice" "+")
triple12
Harry is not green.
False
1
inv-proof
[(triple10 OR ((triple9 triple11) -> rule2) OR ((((triple12) -> rule1) triple11) -> rule2))]
("Harry" "is" "green" "-")
triple10
((triple9 triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple12) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Fiona is big.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "-")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
True
4
proof
[(((((triple6) -> rule1) triple6) -> rule3))]
("Fiona" "is" "round" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((((triple6) -> rule1) triple6) -> rule3))]
("Fiona" "is" "round" "-")
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is green.
Unknown
rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is kind.[(triple1)] Anne is not white.[(triple4)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Fiona is nice.[(triple6)] Fiona is not kind.[(triple5)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Harry is big.[(triple9 OR ((triple12) -> rule1))] Harry is green.[(triple10 OR ((triple9 triple11) -> rule2) OR ((((triple12) -> rule1) triple11) -> rule2))] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is round.[(triple13 OR ((triple9 triple12) -> rule3) OR ((((triple12) -> rule1) triple12) -> rule3))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Fiona is big.[(((triple6) -> rule1))] @2: Fiona is round.[(((((triple6) -> rule1) triple6) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple12) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple9 triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple12) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
((triple9 triple12) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple12) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2