Charlie is cold. Charlie is kind. Charlie is smart. Dave is not big. Fiona is green. Fiona is kind. Fiona is young. Gary is big. Gary is green. Gary is young. If something is young and not cold then it is kind. All smart, big things are kind. Smart things are green.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is not big.
("Dave" "is" "big" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is young and not cold then it is kind.
((("something" "is" "young" "+") ("something" "is" "cold" "~")) -> ("something" "is" "kind" "+"))
All smart, big things are kind.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Dave is not big.
True
1
proof
[(triple4)]
("Dave" "is" "big" "-")
triple4
Charlie is not smart.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "smart" "-")
triple3
Charlie is green.
True
2
proof
[(((triple3) -> rule3))]
("Charlie" "is" "green" "+")
((triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple3) -> rule3))]
("Charlie" "is" "green" "-")
((triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Dave is not big.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is young.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)] @1: Charlie is green.[(((triple3) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1