Charlie is smart. Charlie is young. Erin is not blue. Erin is green. Erin is not smart. Erin is not young. Harry is blue. Harry is kind. Harry is smart. Harry is white. If Charlie is white and Charlie is kind then Charlie is green. Blue people are not young.
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is not young.
("Erin" "is" "young" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If Charlie is white and Charlie is kind then Charlie is green.
((("Charlie" "is" "white" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "green" "+"))
Blue people are not young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "-"))
Charlie is smart.
True
1
proof
[(triple1)]
("Charlie" "is" "smart" "+")
triple1
Harry is not blue.
False
1
inv-proof
[(triple7)]
("Harry" "is" "blue" "-")
triple7
Harry is not young.
True
2
proof
[(((triple7) -> rule2))]
("Harry" "is" "young" "-")
((triple7) -> (rule2 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is young.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "young" "+")
((triple7) -> (rule2 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is smart.[(triple1)] Charlie is young.[(triple2)] Erin is green.[(triple4)] Erin is not blue.[(triple3)] Erin is not smart.[(triple5)] Erin is not young.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Harry is not young.[(((triple7) -> rule2))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is not blue.
("Erin" "is" "blue" "-")
triple3
Erin is not smart.
("Erin" "is" "smart" "-")
triple5
Erin is not young.
("Erin" "is" "young" "-")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is not young.
("Harry" "is" "young" "-")
((triple7) -> (rule2 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1