Anne is cold. Anne is round. Anne is smart. Charlie is green. Charlie is smart. Fiona is green. Fiona is round. Harry is blue. Harry is cold. Harry is green. All smart, round people are nice. Cold people are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
All smart, round people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Charlie is not green.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Harry is nice.
True
2
proof
[(((triple9) -> rule2))]
("Harry" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple3 triple2) -> rule1))]
("Anne" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is green.[(triple4)] Charlie is smart.[(triple5)] Fiona is green.[(triple6)] Fiona is round.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Anne is nice.[(((triple1) -> rule2) OR ((triple3 triple2) -> rule1))] Harry is nice.[(((triple9) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1