Charlie is cold. Charlie is red. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is smart. Erin is young. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is not smart. Fiona is young. If someone is smart and kind then they are rough.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is smart and kind then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Fiona is not big.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "big" "-")
triple9
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple7 triple4) -> rule1))] Erin is smart.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Fiona is not smart.[(triple14)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is young.[(triple15)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((triple7 triple4) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple15