Anne is green. Anne is rough. Anne is smart. Charlie is red. Charlie is rough. Charlie is not smart. Dave is big. Dave is green. Dave is nice. Dave is red. Dave is not rough. Dave is young. Fiona is not big. Fiona is nice. Fiona is red. Fiona is rough. If someone is red and not smart then they are rough. Smart people are big. If Charlie is smart and Charlie is not red then Charlie is green. If Fiona is not young then Fiona is not big. Young, smart people are not nice. If Dave is smart and Dave is green then Dave is big.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is red and not smart then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If Charlie is smart and Charlie is not red then Charlie is green.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "red" "~")) -> ("Charlie" "is" "green" "+"))
If Fiona is not young then Fiona is not big.
((("Fiona" "is" "young" "~")) -> ("Fiona" "is" "big" "-"))
Young, smart people are not nice.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
If Dave is smart and Dave is green then Dave is big.
((("Dave" "is" "smart" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "big" "+"))
Fiona is rough.
True
1
proof
[(triple16)]
("Fiona" "is" "rough" "+")
triple16
Anne is not rough.
False
1
inv-proof
[(triple2)]
("Anne" "is" "rough" "-")
triple2
Anne is big.
True
2
proof
[(((triple3) -> rule2))]
("Anne" "is" "big" "+")
((triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "big" "-")
((triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Charlie is not smart.[(triple6)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple4 triple6) -> rule1))] Dave is big.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is not rough.[(triple11)] Dave is red.[(triple10)] Dave is young.[(triple12)] Fiona is nice.[(triple14)] Fiona is not big.[(triple13)] Fiona is red.[(triple15)] Fiona is rough.[(triple16)] @1: Anne is big.[(((triple3) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple4 triple6) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is not rough.
("Dave" "is" "rough" "-")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is not big.
("Fiona" "is" "big" "-")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1