Charlie is big. Charlie is rough. Charlie is not smart. Fiona is not green. Fiona is smart. Harry is furry. Harry is young. If someone is rough then they are green. If someone is green and rough then they are big. If someone is nice and not furry then they are young. If Fiona is nice and Fiona is smart then Fiona is green. Rough people are nice. All young, rough people are smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and not furry then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
If Fiona is nice and Fiona is smart then Fiona is green.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "green" "+"))
Rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
All young, rough people are smart.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Charlie is green.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "green" "+")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple2) -> rule5))]
("Charlie" "is" "nice" "-")
((triple2) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is big.[(triple1 OR ((((triple2) -> rule1) triple2) -> rule2))] Charlie is not smart.[(triple3)] Charlie is rough.[(triple2)] Fiona is not green.[(triple4)] Fiona is smart.[(triple5)] Harry is furry.[(triple6)] Harry is young.[(triple7)] @1: Charlie is green.[(((triple2) -> rule1))] Charlie is nice.[(((triple2) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fiona is not green.
("Fiona" "is" "green" "-")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1