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