Charlie is cold. Charlie is not green. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Erin is cold. Erin is not rough. Erin is smart. Erin is young. Harry is green. Harry is smart. Rough, nice things are not cold. If Harry is red then Harry is smart. All green things are nice. If something is green and not smart then it is not young. Red, smart things are young. All red things are young. If Charlie is not rough then Charlie is red. If Charlie is not cold then Charlie is red.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Rough, nice things are not cold.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "-"))
If Harry is red then Harry is smart.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "smart" "+"))
All green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is green and not smart then it is not young.
((("something" "is" "green" "+") ("something" "is" "smart" "~")) -> ("something" "is" "young" "-"))
Red, smart things are young.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If Charlie is not rough then Charlie is red.
((("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "red" "+"))
If Charlie is not cold then Charlie is red.
((("Charlie" "is" "cold" "~")) -> ("Charlie" "is" "red" "+"))
Erin is smart.
True
1
proof
[(triple9)]
("Erin" "is" "smart" "+")
triple9
Harry is not smart.
False
1
inv-proof
[(triple12)]
("Harry" "is" "smart" "-")
triple12
Harry is nice.
True
2
proof
[(((triple11) -> rule3))]
("Harry" "is" "nice" "+")
((triple11) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple11) -> rule3))]
("Harry" "is" "nice" "-")
((triple11) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "young" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "nice" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple3)] Charlie is not green.[(triple2)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Charlie is young.[(triple6 OR ((triple4) -> rule6) OR ((triple4 triple5) -> rule5))] Erin is cold.[(triple7)] Erin is not rough.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] Harry is green.[(triple11)] Harry is smart.[(triple12)] @1: Harry is nice.[(((triple11) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple4) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple4 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is not rough.
("Erin" "is" "rough" "-")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
((triple11) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1