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